summaryrefslogtreecommitdiff
path: root/_oasis
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-10-27 23:06:35 +0200
committerPhilipp Gesang <phg@phi-gamma.net>2018-10-30 01:15:03 +0100
commit1702e79c17b4fa05159afd503f3dcd631c1a86d0 (patch)
tree7f7a1e962c6ad7ec7e19b5c9d4e91267f9411991 /_oasis
parent8d1269767de9268db630187fc9da9b58c49a0745 (diff)
downloadocaml-sid-1702e79c17b4fa05159afd503f3dcd631c1a86d0.tar.gz
add readme and license text
Diffstat (limited to '_oasis')
0 files changed, 0 insertions, 0 deletions