diff options
| author | rillig <rillig> | 2006-10-22 00:35:26 +0000 |
|---|---|---|
| committer | rillig <rillig> | 2006-10-22 00:35:26 +0000 |
| commit | 0cca4581ef13e2ba7ecfc6af9079fbb759c6ab64 (patch) | |
| tree | 5d81fe3ae1dc95db0cc2f9f67f770a4e74564789 /lang/coq/DESCR | |
| parent | b1ed63271e464f1f183ce64288ec90dbb2da3975 (diff) | |
| download | pkgsrc-0cca4581ef13e2ba7ecfc6af9079fbb759c6ab64.tar.gz | |
Removed setargs_from_cmd, as it is unused.
Diffstat (limited to 'lang/coq/DESCR')
0 files changed, 0 insertions, 0 deletions