WIP.

faucetsdn · Oct 26, 2017 · 0fad1b3 · 0fad1b3
1 parent 7409e3f
commit 0fad1b3
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 20 deletions.
diff --git a/docs2/.gitignore b/docs2/.gitignore
@@ -0,0 +1 @@
+_build
diff --git a/docs2/Makefile b/docs2/Makefile