sebastianw 4fdcf1cf60 [bugsearch] trying to fix UnpicklingError by clearing GUI element containing attributes

2015-11-23 12:11:04 +01:00

..

active

[bugsearch] trying to fix UnpicklingError by clearing GUI element containing attributes

2015-11-23 12:11:04 +01:00

analysis

Marginal changes only.

2015-10-26 09:40:07 +01:00

loc

Minor changes

2015-11-18 10:28:46 +01:00

pick

Marginal changes.

2015-11-20 16:02:25 +01:00

read

Suppressed print output in setParam.

2015-11-20 15:53:25 +01:00

util

re-design of the properties tabbed window

2015-11-23 11:41:04 +01:00

__init__.py

general code clean-up

2015-10-19 05:32:10 +02:00