]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Mon, 12 Feb 2007 01:06:42 +0000 (01:06 +0000) | ||
committer | cvs2git <feedback@pld-linux.org> | |
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
commit | 20305e491e1f41f42d977edfce08d0175a31b6d7 | |
tree | 9d3cb596c7666d1694af67a08c3e11f42bb53359 | tree | snapshot |
parent | 6206e4846fb44d800709d283bebaaa09398ed166 | commit | diff |
NuSMV.spec | diff | blob | blame | history |