summaryrefslogtreecommitdiff
path: root/debian/coqide.desktop
Commit message (Collapse)AuthorAge
* Remove Encoding from debian/coqide.desktopGravatar Stephane Glondu2008-08-08
| | | | ...as complained by Lintian
* New upstream release.debian/8.1.pl1+dfsg-1Gravatar Samuel Mimram2007-08-18
|
* Minor improvements of the coqide.desktop file.Gravatar Samuel Mimram2006-08-16
|
* Last modifications before upload.debian/8.0pl3+8.1alpha-1Gravatar Samuel Mimram2006-04-29
|
* New upstream release: 8.0pl2.debian/8.0pl2-1Gravatar Samuel Mimram2005-01-31