'README.md' ändern
tree38578a250361c52ea878c9c2799cff510ddf341d
-rw-r--r-- 60 .gitignore
-rw-r--r-- 0 .ocamlformat
-rw-r--r-- 473 Makefile
-rw-r--r-- 542 README.md
drwxr-xr-x - bin
-rw-r--r-- 2141 doap.rdf
drwxr-xr-x - lib
drwxr-xr-x - test
-rw-r--r-- 0 xkcd936.opam