renamed files and point to new manual

blinkenrocket · Dec 25, 2017 · c7b3d17 · c7b3d17
1 parent 63b9218
commit c7b3d17
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/manual/manual.pdf b/manual/manual.pdf
diff --git a/manual/manualv1.pdf b/manual/manualv1.pdf
diff --git a/manual/manual.sla → manual/manualv1.sla b/manual/manual.sla → manual/manualv1.sla