- desktop file for coqide
authorJan Rękorajski <baggins@pld-linux.org>
Thu, 7 Apr 2011 21:41:46 +0000 (21:41 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
commitba4e381843553d456955d1f6b5ef8eb00cc4b0f5
treea60a48aad96f3d4c2e06f8ab9a5f6937b85e8da5
parent1c1094bcafbacd90cd65d435d71b1b1dd2135d2e
- desktop file for coqide

Changed files:
    coqide.desktop -> 1.1
coqide.desktop [new file with mode: 0644]
This page took 0.127499 seconds and 4 git commands to generate.