Revision fea9bbb0688f2b1f20cf1aa605ebd6c7faf61205

Committed on 20/02/2013 5:00 am by Cloud Default User <[email protected]> [GitHub Diff]

changes concerning the renaming