zzz dca04f7f60 store save time in config files

2019-05-29 15:52:24 +00:00

..

c

Debian: Fix builds for x32 (ticket #2076)

2017-11-19 16:58:51 +00:00

doc

…

java

store save time in config files

2019-05-29 15:52:24 +00:00

perl

Remove old benchmarks

2017-08-26 20:46:33 +00:00

build.gradle

Gradle: Generate attributes for JAR manifests

2019-04-21 21:01:28 +00:00