summaryrefslogtreecommitdiffstats
path: root/stdlib/header.c
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-03-28 08:47:47 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-03-28 08:47:47 +0000
commitdb2e8dec76e17bd0987dd0a12ad7509b6e63d97c (patch)
tree65f6ec5acc0c6d9020f1fb5b0dcb32bd4fe8bca3 /stdlib/header.c
parente3f1ab289da91f2d382afc824ade6c6e3b5eb764 (diff)
adapte aux labels legers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3005 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/header.c')
0 files changed, 0 insertions, 0 deletions