]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Tue, 14 May 2013 11:25:27 +0000 (13:25 +0200) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Tue, 14 May 2013 11:25:27 +0000 (13:25 +0200) | ||
commit | f44997140d3a699a3b97b1ec3b0c24795728488c | |
tree | 5b9ca98b3052a551a924766e0ddaf5720c9233a8 | tree | snapshot |
parent | 053cd42586d0295b51436a2b2aafccf1b7bab71d | commit | diff |
coq.spec | diff | blob | blame | history |