|
backend
|
decommission the safe-bool-idiom (closes #477)
|
2017-04-02 06:42:23 +02:00 |
|
gui
|
Doxygen Fixes (#1062)
|
2017-04-02 04:22:51 +02:00 |
|
include
|
Doxygen Fixes (#1062)
|
2017-04-02 04:22:51 +02:00 |
|
plugin
|
Merge: change building to create modules
|
2008-12-20 02:15:33 +01:00 |
|
proc
|
decommission the safe-bool-idiom (closes #477)
|
2017-04-02 06:42:23 +02:00 |
|
DIR_INFO
|
update some DIR_INFO entries
|
2011-04-05 00:44:30 +02:00 |