Setting up repo

2017-09-20 09:15:27 +02:00
parent 1b886d7e4b
commit 985379ba78
597 changed files with 126364 additions and 1673 deletions
@@ -0,0 +1,3 @@
+#!/bin/sh
+doconce clean
+rm -rf *.pdf *.tex ipynb*.tar.gz *.html ._*.html *~ reveal.js Trash README.txt