clean dir

tokamach · May 28, 2020 · ab7de00 · ab7de00
1 parent 09faf29
commit ab7de00
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 1,525 deletions.
diff --git a/.gitignore b/.gitignore
@@ -31,3 +31,7 @@ os/lisp_test
 *.pdf
 *.xml
 auto
+
+report
+viva
+os-ref
diff --git a/proposal/bib/proposal.bib b/proposal/bib/proposal.bib
-Original file line number
+Diff line change
@@ Expand Up / @@ -31,3 +31,7 @@ os/lisp_test @@
     *.pdf
     *.xml
     auto
+    report
+    viva
+    os-ref