Merge pull request #6 from gregrgay/master

[atutor.git] / tools / prog.php

diff --git a/docs/tools/prog.php b/tools/prog.php
similarity index 100%
rename from docs/tools/prog.php
rename to tools/prog.php