summaryrefslogtreecommitdiffstats
path: root/stdlib
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2013-11-15 15:19:25 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2013-11-15 15:19:25 +0000
commitb4f8172430e60382906bc6a86da628b758d2022c (patch)
treea96f3b3ce8a808802d4bc65f269e0097723ee8ce /stdlib
parent7110a56ab0c66a6aced52b5f2b7eb62503e6521a (diff)
also generate module aliases when using include
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
0 files changed, 0 insertions, 0 deletions