Renamed, files other than those from format-corpus. #77

This commit is contained in:
jevans 2013-07-23 18:39:42 -04:00
commit 097549fd66