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