This commit is contained in:
Jakob Borg
2015-05-28 12:40:43 +02:00
commit fd7fe795ad
92 changed files with 4050 additions and 0 deletions
Executable
+4
View File
@@ -0,0 +1,4 @@
#!/bin/sh
git pull && rm -r _build && make html