summaryrefslogtreecommitdiff
path: root/debian/coqide.desktop
Commit message (Expand)AuthorAge
* Remove Encoding from debian/coqide.desktopGravatar Stephane Glondu2008-08-08
* 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