]>
author | Jan Rękorajski <baggins@pld-linux.org> | |
Fri, 14 Sep 2007 14:14:43 +0000 (14:14 +0000) | ||
committer | cvs2git <feedback@pld-linux.org> | |
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
commit | ad3d0335ddf3f8bedce1b77ba26ca9b849413c92 | |
tree | 1beb424f8af58d434c3fc76fdc9b16c9a02d8f90 | tree | snapshot |
parent | 74c2172a02f0bae724dc997cdb0999e9a7549ce3 | commit | diff |
NuSMV.spec | diff | blob | blame | history |