diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-01-22 05:56:11 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-01-22 05:56:11 +0000 |
| commit | 21301af8c87585cdce942e939b15270424ffd54a (patch) | |
| tree | 438f344aa3bf3ac221e6980dc0056d1116a57764 /otherlibs/unix/unixsupport.c | |
| parent | 50de05d31dc9cf925d0da11042b65de71bd4d2b4 (diff) | |
shorten paths in signatures and toplevel output
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12066 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/unixsupport.c')
0 files changed, 0 insertions, 0 deletions