diff options
Diffstat (limited to 'otherlibs/win32unix/system.c')
-rw-r--r-- | otherlibs/win32unix/system.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/otherlibs/win32unix/system.c b/otherlibs/win32unix/system.c index 9cf3e89cc..51dc9bfb7 100644 --- a/otherlibs/win32unix/system.c +++ b/otherlibs/win32unix/system.c @@ -42,6 +42,3 @@ CAMLprim value win_system(cmd) Field(st, 0) = Val_int(ret); return st; } - - - |