Delete deprecated documentation config

sci-bots · Aug 30, 2016 · 071502b · 071502b
1 parent 9296e5d
commit 071502b
Show file tree

Hide file tree

Showing 22 changed files with 0 additions and 900 deletions.
diff --git a/doc/README b/doc/README
diff --git a/doc/SConstruct b/doc/SConstruct