]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 21 Mar 2016 15:37:29 +0000 (16:37 +0100) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 21 Mar 2016 15:37:29 +0000 (16:37 +0100) | ||
commit | 87c412ada9a8e218018c98b577543b78e2730dd9 | |
tree | 06cfc2d6c79e9277be5def42a058de0a16fc66c0 | tree | snapshot |
parent | 91e5445e3799e7a867fab3be33a409c4de33f7f2 | commit | diff |
why3.spec | diff | blob | blame | history |