diff options
| author |  Samuel Mimram <smimram@debian.org> | 2006-11-11 11:19:26 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2006-11-11 11:19:26 +0000 |
| commit | a5bd4e097a94cc4f863bf4d4bcc5ce592c30ba47 (patch) | |
| tree | aba07f33828fb46dabc3a794cd61467025514f1f /pretyping/matching.mli | |
| parent | d48088e46f19072a4ad26dca191dff68c227300e (diff) | |
Made the package binNMU-safe.
Diffstat (limited to 'pretyping/matching.mli')
0 files changed, 0 insertions, 0 deletions