]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Tue, 3 Oct 2006 16:36:05 +0000 (16:36 +0000) | ||
committer | cvs2git <feedback@pld-linux.org> | |
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
commit | 5082b6a1eaeef3220f2a97324c96de6d12721122 | |
tree | 7f379bf1ac8249c71f04fb20805af489464e7ff7 | tree | snapshot |
NuSMV.spec | [new file with mode: 0644] | blob |