Merge pull request #6 from gregrgay/master

[atutor.git] / get_noid.php

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