diff options
author | 2015-03-14 10:31:52 +0100 | |
---|---|---|
committer | 2015-03-14 12:10:00 +0100 | |
commit | 45f437c6331f2e331f227e3ebba2d2ef44142151 (patch) | |
tree | 10b1baa115e6d6be38f8eb7c688141fca2666552 /lib/feedback.mli | |
parent | 494ab7773515ea67bf365707852bbb4074f866ba (diff) |
Fix Bug 3548 - Makefile should fallback gracefully in the absence of codesign
Diffstat (limited to 'lib/feedback.mli')
0 files changed, 0 insertions, 0 deletions