 Marcus Rohrmoser
|
f93dbc45d9
'xkcd936.opam' löschen
|
3 years ago |
|
Marcus Rohrmoser
|
550395a798
'README.md' ändern
|
3 years ago |
|
Marcus Rohrmoser
|
2feb8d5225
more elegant.
|
4 years ago |
|
Marcus Rohrmoser
|
18b843568b
More compact
|
4 years ago |
|
Marcus Rohrmoser
|
704cf0be01
Add a doap.
|
4 years ago |
|
Marcus Rohrmoser
|
abe146d819
a bit of prose.
|
4 years ago |
|
Marcus Rohrmoser
|
be62082cd2
refactor common code
|
4 years ago |
|
Marcus Rohrmoser
|
81f5430886
extract a string from a mmapped file
|
4 years ago |
|
Marcus Rohrmoser
|
354f0cbb41
initial
|
4 years ago |
