]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Sat, 20 Nov 2021 22:08:10 +0000 (23:08 +0100) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Sat, 20 Nov 2021 22:08:10 +0000 (23:08 +0100) | ||
commit | b69ad0e02104a4655169728b36d6a4c0019047eb | |
tree | 2636988b561f008e3cfe261910f091bfebda97bd | tree | snapshot |
parent | d9dd4fa0efef27c0872a376a18c05a717dabe775 | commit | diff |
why3.spec | diff | blob | blame | history |