summaryrefslogtreecommitdiff
path: root/README.adoc
diff options
context:
space:
mode:
authoroctachron <octa@polychoron.fr>2015-12-08 19:14:34 +0100
committeroctachron <octa@polychoron.fr>2016-04-02 02:15:32 +0200
commite3d578863cc7c6ed89ec96805f33be3899abbd1f (patch)
tree9d7b9e6ef32d428b6b602caadbfe6892d9edbbe5 /README.adoc
parente9ff94e1dfc7ca8d45366e3b4c0e6d7db586e6a9 (diff)
downloadocaml-user-defined-indexing-operators.tar.gz
Fix GPR#69 changes: bigarray compatibility sectionuser-defined-indexing-operators
Diffstat (limited to 'README.adoc')
0 files changed, 0 insertions, 0 deletions