|
backend
|
wrap-up(#985): resolve various leftovers
|
2016-01-10 11:21:34 +01:00 |
|
gui
|
implement deleting of individual property state data
|
2016-02-14 04:29:40 +01:00 |
|
lib
|
change the semantics of EventLog "clearing"
|
2016-02-14 00:56:52 +01:00 |
|
plugin
|
Merge: change building to create modules
|
2008-12-20 02:15:33 +01:00 |
|
tool
|
clean-up: sourcefile layout and spell checking
|
2014-10-23 23:04:35 +02:00 |
|
DIR_INFO
|
update some DIR_INFO entries
|
2011-04-05 00:44:30 +02:00 |