diff options
author | 2006-08-16 14:01:42 +0000 | |
---|---|---|
committer | 2006-08-16 14:01:42 +0000 | |
commit | d48088e46f19072a4ad26dca191dff68c227300e (patch) | |
tree | e61e09f9c01f287c575822dfc9bfb3835c0b2ec2 /man/coqtop.1 | |
parent | 600cc313b09fdb0857da49f5671f885ac53d169e (diff) |
Minor improvements of the coqide.desktop file.
Diffstat (limited to 'man/coqtop.1')
0 files changed, 0 insertions, 0 deletions