]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Tue, 6 Jun 2017 17:22:17 +0000 (19:22 +0200) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Tue, 6 Jun 2017 17:22:17 +0000 (19:22 +0200) | ||
commit | 999402af6a7850fb1a5d2b845c16f866a9964ee5 | |
tree | 3e88c780b64a1491717189815b7cbc739e21f01a | tree | snapshot |
parent | ab647362c03e8fb935f9e19c5f0b780769fd412a | commit | diff |
why3.spec | diff | blob | blame | history |