aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/libobject.ml
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2015-06-24 16:45:01 +0200
committerGravatar Maxime Dénès <mail@maximedenes.fr>2015-06-24 16:45:01 +0200
commit42893bd092c4a63174c97995b4fb561daf4de273 (patch)
treec76fb1343a7af4abf405fe8a4116051625b4891f /library/libobject.ml
parent987117e3daba31cb669b563723c8af276380f5ab (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