projects / packages / coq.git / commit
| 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 |