summaryrefslogtreecommitdiffstats
path: root/stdlib/stack.ml
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2003-03-20 03:21:03 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2003-03-20 03:21:03 +0000
commit66838ed0bc172e8143e4f8eb1cea08b18758ff72 (patch)
treee3724e5deafe6d2a12f26310d8204efbca4e8050 /stdlib/stack.ml
parent2e5185dadf97a1c171b96510671f7b82b011805a (diff)
at space at end of poly variant to fix PR#1605
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5440 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/stack.ml')
0 files changed, 0 insertions, 0 deletions