Davide P. Cervone 1fc23f0f93 Remove docs and replace by placeholders that point to the new locations		2012-09-24 21:36:51 -04:00
..
index.html	Remove docs and replace by placeholders that point to the new locations	2012-09-24 21:36:51 -04:00