projects / packages / NuSMV.git / shortlog
| 2012-06-24 | Jakub Bogusz | - pl | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - fix build/install problems | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - initial revision | commit | commitdiff | tree | snapshot |