|
common
|
MERGE: upgrade to Debian/Buster and to C++17
|
2020-02-22 02:16:25 +01:00 |
|
lib
|
MERGE: upgrade to Debian/Buster and to C++17
|
2020-02-22 02:16:25 +01:00 |
|
plugin
|
Merge: change building to create modules
|
2008-12-20 02:15:33 +01:00 |
|
stage
|
DisplayEvaluation: draft interfaces
|
2020-03-06 03:14:33 +01:00 |
|
vault
|
Library: clarify usage of the basic time scale
|
2018-12-10 00:12:52 +01:00 |
|
DIR_INFO
|
update some DIR_INFO entries
|
2011-04-05 00:44:30 +02:00 |