diff options
Diffstat (limited to 'otherlibs/bigarray/dllbigarray.dlib')
| -rw-r--r-- | otherlibs/bigarray/dllbigarray.dlib | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/otherlibs/bigarray/dllbigarray.dlib b/otherlibs/bigarray/dllbigarray.dlib deleted file mode 100644 index 5ab811729..000000000 --- a/otherlibs/bigarray/dllbigarray.dlib +++ /dev/null @@ -1 +0,0 @@ -bigarray_stubs.d.o mmap_win32.d.o |