|
backend
|
release prep: clean-up obsolete information
|
2013-10-29 06:11:18 +01:00 |
|
build
|
Library: typeof obsoleted by decltype
|
2017-12-04 03:53:36 +01:00 |
|
code
|
DOC: decide to pull through with the layer renaming
|
2018-11-15 19:40:12 +01:00 |
|
gui
|
DemoGuiRoundtrip: successfully completed (closes #1999)
|
2018-10-06 17:42:22 +02:00 |
|
DIR_INFO
|
update some DIR_INFO entries
|
2011-04-05 00:44:30 +02:00 |