diff options
author | martti <martti@pkgsrc.org> | 2003-07-21 16:56:41 +0000 |
---|---|---|
committer | martti <martti@pkgsrc.org> | 2003-07-21 16:56:41 +0000 |
commit | f928be280d3f2baae549a0b52c69fb333c675f0c (patch) | |
tree | a3785f5e75be83c660585d68a3cd9dae1d0cb30b /lang/coq | |
parent | ee90b572a694e53c91c3f84b3e56b5f1ce169ae5 (diff) | |
download | pkgsrc-f928be280d3f2baae549a0b52c69fb333c675f0c.tar.gz |
COMMENT should start with a capital letter.
Diffstat (limited to 'lang/coq')
0 files changed, 0 insertions, 0 deletions