diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-10-03 19:26:08 +0000 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-10-03 19:26:08 +0000 |
commit | d8c147937ed3439590b5a52db62499861022a044 (patch) | |
tree | de924de615b9afafb6057d25119fe796de9393e3 /otherlibs/bigarray/mmap_unix.c | |
parent | 20c278bf4552cd49ceeaec1ab6c26dff8647ba82 (diff) |
sync configure with the bdf.h objinfo change
(Patch by Christopher Zimmermann)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15465 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/bigarray/mmap_unix.c')
0 files changed, 0 insertions, 0 deletions