Commit 483f66c64aaf783bc9edf69abde73e1300289e87
2019-05-09T14:11:46
remove some historical artifacts * pretty.build: build system is already pretty baroque and we are not using this anywhere in CI etc. * rename.sh: only used for internal renaming. can be retrieved from git history if needed again. * tombc/grammer.txt: ?