Lorenzo Pisani 745c40dfc9 Merge branch '3.1/develop' into 3.2/develop		2011-07-01 20:57:27 -07:00
..
new.php	fixing the documentation for migrations:new	2011-07-01 20:56:12 -07:00
run.php	Merge branch '3.1/develop' into 3.2/develop	2011-07-01 20:57:27 -07:00
status.php	renaming the migration tasks for cleaner separation (refs #11)	2011-07-01 20:47:01 -07:00