]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Wed, 14 Nov 2012 14:03:47 +0000 (15:03 +0100) | ||
committer | Jan Rękorajski <baggins@pld-linux.org> | |
Wed, 14 Nov 2012 14:03:47 +0000 (15:03 +0100) | ||
commit | cf278024cf04a85a8f691ede22aa37f1f5290fc3 | |
tree | c62081e690f55f979b75da0fbe8da4c39362c2c4 | tree | snapshot |
parent | 12665b0d5fdaa350dd03ead40cc4f4abddb41023 | commit | diff |
NuSMV.spec | diff | blob | blame | history | |
format-security.patch | [new file with mode: 0644] | blob |