Commit Graph

3 Commits

Author SHA1 Message Date
Marcello Stanisci
8a08f73171
dead code elimination 2020-01-16 12:58:42 +01:00
Marcello Stanisci
a444bf31b7
Excluding old logic from compilation. 2020-01-16 12:54:05 +01:00
Christian Grothoff
ca55b5078f
restructure tests and build system 2020-01-12 20:51:42 +01:00