diff options
| author |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2015-03-14 10:31:52 +0100 |
|---|---|---|
| committer |  Pierre Boutillier <pierre.boutillier@pps.univ-paris-diderot.fr> | 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