added local version of the docs due to increasing number of local changes that...
added local version of the docs due to increasing number of local changes that make it difficult to sync with external
doc/.gitignore
deleted
100644 → 0
doc/Makefile
0 → 100644
doc/TODO
0 → 100644