The devmanual repository has been moved to a new location, please read the MOVED...
-rw-r--r-- 13 .gitignore
-rw-r--r-- 531 MOVED