diff options
Diffstat (limited to 'todo.txt')
-rw-r--r-- | todo.txt | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,2 +1,2 @@ -- add task for QuickCheck +- make a compileTestFrege with the respective task dependencies - add task for FregeDoc
\ No newline at end of file |