Commit
commit 0af8817619eddb93481bdf5fe7b1c1e75f9ca550 Author: Jan DankertDate: Fri Jan 12 23:14:58 2018 +0100 Nicht mehr benötigte Dateien. doc/examples/maintenance/compact.sh | 54 -------------------------------- doc/examples/maintenance/compare-lang.sh | 38 ---------------------- doc/examples/maintenance/sort-lang.sh | 22 ------------- doc/orml.ebnf.txt | 13 -------- 4 files changed, 127 deletions(-)