diff options
| author | tonio <tonio@pkgsrc.org> | 2007-01-17 11:14:46 +0000 |
|---|---|---|
| committer | tonio <tonio@pkgsrc.org> | 2007-01-17 11:14:46 +0000 |
| commit | ce4d7d521518870f50cb1558bfddc304cb0b9cd0 (patch) | |
| tree | 97f7ecc0121bf40f57c8938f7d7abe9515795e8d /converters/qkc | |
| parent | 436a66ec35ef37e452b262b651e10a8fdb2cec5d (diff) | |
| download | pkgsrc-ce4d7d521518870f50cb1558bfddc304cb0b9cd0.tar.gz | |
Add an option "coqide" to enable the gtk2 ide of coq
It's disabled by default, to avoid too much dependancies
Diffstat (limited to 'converters/qkc')
0 files changed, 0 insertions, 0 deletions