]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Thu, 7 Apr 2011 21:41:46 +0000 (21:41 +0000) | ||
committer | cvs2git <feedback@pld-linux.org> | |
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
commit | ba4e381843553d456955d1f6b5ef8eb00cc4b0f5 | |
tree | a60a48aad96f3d4c2e06f8ab9a5f6937b85e8da5 | tree | snapshot |
parent | 1c1094bcafbacd90cd65d435d71b1b1dd2135d2e | commit | diff |
coqide.desktop | [new file with mode: 0644] | blob |