diff options
| author | hattenberger | 2013-05-01 22:48:40 +0000 |
|---|---|---|
| committer | hattenberger | 2013-05-01 22:48:40 +0000 |
| commit | 7fae936e59d5c4a446e0c1e92e6d2df4fac5c37d (patch) | |
| tree | d1a28583b99a9838729dfecc8dd0640bf5f3d0a6 /debian/source/format | |
| parent | a87835178bec762ca9956f067de750178f9822fa (diff) | |
| download | ivy-ocaml-7fae936e59d5c4a446e0c1e92e6d2df4fac5c37d.zip ivy-ocaml-7fae936e59d5c4a446e0c1e92e6d2df4fac5c37d.tar.gz ivy-ocaml-7fae936e59d5c4a446e0c1e92e6d2df4fac5c37d.tar.bz2 ivy-ocaml-7fae936e59d5c4a446e0c1e92e6d2df4fac5c37d.tar.xz | |
fix install with COMPAT_SYMLINK_CREATE=no
also install ivy.mli|cmi|cmx to glibivy
Diffstat (limited to 'debian/source/format')
0 files changed, 0 insertions, 0 deletions