]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 5 Jun 2017 12:42:24 +0000 (14:42 +0200) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 5 Jun 2017 12:42:24 +0000 (14:42 +0200) | ||
commit | c69f4439fc8ef18df8da06d71b7044e4a1c0aff3 | |
tree | 0d639352bda3bd13d365d240b9f1c136aaf51289 | tree | snapshot |
parent | 87c412ada9a8e218018c98b577543b78e2730dd9 | commit | diff |
why3.spec | diff | blob | blame | history |