diff options
author | rillig <rillig@pkgsrc.org> | 2007-12-01 13:03:27 +0000 |
---|---|---|
committer | rillig <rillig@pkgsrc.org> | 2007-12-01 13:03:27 +0000 |
commit | e29d2ffc0141ff182ad07a89e15a162d75fba45b (patch) | |
tree | e2db936e30f6d239dd3b3a9c317e008fcaefb5b6 /lang/coq/PLIST | |
parent | 8d869041fcbedb710d0dce38c641c213cf7ab420 (diff) | |
download | pkgsrc-e29d2ffc0141ff182ad07a89e15a162d75fba45b.tar.gz |
static functions must not be declared inside functions.
Diffstat (limited to 'lang/coq/PLIST')
0 files changed, 0 insertions, 0 deletions