diff options
| author | Wojciech Meyer <wojciech.meyer@gmail.com> | 2013-07-01 19:28:16 +0000 |
|---|---|---|
| committer | Wojciech Meyer <wojciech.meyer@gmail.com> | 2013-07-01 19:28:16 +0000 |
| commit | 2dcbc1718b81440ee0ee6580b0c0a4a94a66fb35 (patch) | |
| tree | 6a7f20607f3ed5a93b7cf139d73d7aa8de567966 /otherlibs/win32unix/unixsupport.c | |
| parent | 1a241d873f03927a50c3b24065ee95d6bdeca79d (diff) | |
win32unix: add a Makefile (not ".nt" one).
(patch by Adrien Nader!)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13863 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/unixsupport.c')
0 files changed, 0 insertions, 0 deletions