]>
author | Elan Ruusamäe <glen@pld-linux.org> | |
Mon, 12 Feb 2007 22:09:09 +0000 (22:09 +0000) | ||
committer | cvs2git <feedback@pld-linux.org> | |
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
commit | d6427d0890fc968f788f193998b10a158b817776 | |
tree | f61856f834d3ff11cd6f71bf49d76fbafaa431a1 | tree | snapshot |
parent | 20305e491e1f41f42d977edfce08d0175a31b6d7 | commit | diff |
NuSMV.spec | diff | blob | blame | history |