diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2015-06-24 16:45:01 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2015-06-24 16:45:01 +0200 |
commit | 42893bd092c4a63174c97995b4fb561daf4de273 (patch) | |
tree | c76fb1343a7af4abf405fe8a4116051625b4891f /library/libobject.ml | |
parent | 987117e3daba31cb669b563723c8af276380f5ab (diff) |
More silent Makefile when looking for codesign.
May still be wrong on Windows, though.
Diffstat (limited to 'library/libobject.ml')
0 files changed, 0 insertions, 0 deletions