work transfer to laptop

2019-09-19 09:20:26 +02:00
parent 5a117d94ee
commit 0c73728217
22 changed files with 3018 additions and 3090 deletions
@@ -10,10 +10,6 @@ echo ""
 pushd ./bin > /dev/null
 time ./slime --run-tests

-echo ""
-echo "generating docs"
-time ./slime generate-docs.slime
-
 popd > /dev/null
 popd > /dev/null
 unset TIMEFORMAT