summaryrefslogtreecommitdiffstats
path: root/stdlib
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2014-05-09 19:40:19 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2014-05-09 19:40:19 +0000
commiteb2b1f64b17aab853ca16c531bf9c6b99c69503e (patch)
tree78a51726ab8a48c57a3cdbdf7ffc192002a9463d /stdlib
parent786966241166a176cddd046af4188b28a23b33b8 (diff)
indentation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14775 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
0 files changed, 0 insertions, 0 deletions