move code up one directory

[atutor.git] / users / prog_unused.php

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