diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2015-01-15 07:49:27 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2015-01-15 07:49:27 +0100 |
commit | 530dcf1e6cd008e89a527dacb836202bcb2d02db (patch) | |
tree | f1cef094ab0ca6070f990c45da142ef1e42dd261 /configure.ml | |
parent | 8f077f6d05d0c764e401ce6770f6b598523c33fc (diff) |
Make installation of native files more robust.
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions