diff options
| author | dholland <dholland> | 2011-12-13 07:11:13 +0000 |
|---|---|---|
| committer | dholland <dholland> | 2011-12-13 07:11:13 +0000 |
| commit | e373bba992e3b81fc3c08bb45ccda8ef4cc1696d (patch) | |
| tree | bf24ec6932018c57b0b352b04e3f7159d3127ab8 /lang/coq | |
| parent | b8ae58bbc1ca3615895cdc79e77d2bbfa4aed1ff (diff) | |
| download | pkgsrc-e373bba992e3b81fc3c08bb45ccda8ef4cc1696d.tar.gz | |
fix some low-hanging fruit
Diffstat (limited to 'lang/coq')
0 files changed, 0 insertions, 0 deletions