diff options
| author |  Stephane Glondu <steph@glondu.net> | 2012-01-14 11:13:29 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2012-01-14 11:14:08 +0100 |
| commit | 5872768853f8c78187a3daaa89f09e674c90fa07 (patch) | |
| tree | bd35144db58f7533a2aebed9d95c6af1a20952a3 /parsing/ppvernac.mli | |
| parent | 64007d9eae3bfe88341db8995698aa86a50faa37 (diff) | |
Call dh_install with --fail-missing
Diffstat (limited to 'parsing/ppvernac.mli')
0 files changed, 0 insertions, 0 deletions