]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 12 Feb 2007 00:48:42 +0000 (00:48 +0000) | ||
committer | cvs2git <feedback@pld-linux.org> | |
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
commit | 3f4e388b0a272cc3813e56671955b7e427f28989 | |
tree | 148c788eed448983fe45cb5bca67e40c483d4ed7 | tree | snapshot |
parent | 229b1af51ffb5ea5505d9c98f0b7fefd8ca82da3 | commit | diff |
coq.spec | diff | blob | blame | history |