Merge pull request #6 from gregrgay/master

[atutor.git] / include / index.html

diff --git a/docs/include/index.html b/include/index.html
similarity index 100%
rename from docs/include/index.html
rename to include/index.html