]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Tue, 18 Oct 2016 06:04:56 +0000 (08:04 +0200) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Tue, 18 Oct 2016 06:04:56 +0000 (08:04 +0200) | ||
commit | d3b6f1605b18dc50e2bf7765a4b0ea6bcef48a04 | |
tree | 74ad1ab174d61134b84b7f9eb32db70878c14114 | tree | snapshot |
parent | 17427a1955c8d3e925fdd7d95f506f7fe74907ab | commit | diff |
NuSMV.spec | diff | blob | blame | history |