Thu, 17 Dec 2015 13:51:53 +0100 | Matthias Förste | removed some unused files | changeset | files |
Thu, 17 Dec 2015 13:45:29 +0100 | Matthias Förste | clean target needs Makefile | changeset | files |
Thu, 17 Dec 2015 13:44:30 +0100 | Matthias Förste | added missing build dependency; added section | changeset | files |
Thu, 17 Dec 2015 13:42:29 +0100 | Matthias Förste | untracked some build results | changeset | files |