diff options
| author |  Samuel Mimram <smimram@debian.org> | 2009-02-19 13:55:21 +0100 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2009-02-19 13:55:21 +0100 |
| commit | 1613f8f33adcf8c5e61d3632d6ae62f56b26f1d8 (patch) | |
| tree | d57d2bba052dbeadd1b03ff0f60c09019175faac /contrib | |
| parent | f7023be031c602762b765bb8a7cec32d9bafcb6c (diff) | |
Added coqvars.mk helper for coq-related packages.
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions