diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -24,4 +24,3 @@ check-latest: Homeworks.md build # check-%: # act4e-test --collections act4e_checks --module act4e_solutions --group $* - |