Documentation: documentation update

Update of the documentation and repository cleaning
pbench · Nov 29, 2013 · b302707 · b302707
1 parent 15e324d
commit b302707
Show file tree

Hide file tree

Showing 172 changed files with 129 additions and 26,201 deletions.
diff --git a/demoplanner/index.html b/demoplanner/index.html
diff --git a/demoplanner/js/mapstraction/docs/files.html b/demoplanner/js/mapstraction/docs/files.html