undo last commit, which inadvertedly added some files from a repository directory structure
Authored by: sneumann 2014-06-10
Parent: [r225]
Child: [r227]