]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Tue, 18 Oct 2016 17:15:08 +0000 (19:15 +0200) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Tue, 18 Oct 2016 17:15:08 +0000 (19:15 +0200) | ||
commit | 09aa6f55706f44bed128fb283029a3a5e405dc21 | |
tree | fee65e5a4cd3f38963a5dbe12a453eacfeb522f0 | tree | snapshot |
parent | d3b6f1605b18dc50e2bf7765a4b0ea6bcef48a04 | commit | diff |
NuSMV.spec | diff | blob | blame | history | |
fork.patch | [new file with mode: 0644] | blob |