summaryrefslogtreecommitdiff
path: root/flexdll
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2016-01-02 09:52:59 +0000
committerDavid Allsopp <david.allsopp@metastack.com>2016-01-15 17:07:01 +0000
commita7b6083be3848d4d3d6734ac93082906ff443d20 (patch)
tree542417428a07266582ce008001d23120d224cca4 /flexdll
parenta9f5227d62c9c18c7ef1f632c91e46d258113f9b (diff)
downloadocaml-a7b6083be3848d4d3d6734ac93082906ff443d20.tar.gz
Add FlexDLL as git submodule
Messages for obtaining flexdll sources updated in Makefile.nt
Diffstat (limited to 'flexdll')
m---------flexdll0
1 files changed, 0 insertions, 0 deletions
diff --git a/flexdll b/flexdll
new file mode 160000
+Subproject db1d82aa8662d146562067288d0331c4ec2e1bd