|
backend
|
wrap-up(#985): resolve various leftovers
|
2016-01-10 11:21:34 +01:00 |
|
gui
|
mark some code smells (#1026)
|
2016-10-26 18:44:27 +02:00 |
|
lib
|
Bugfix: must init TreeMutator explicitly now
|
2016-10-04 03:24:44 +02: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 |