[root]/it.itc.irst.nusmv.cli
copying license files to new plugins
502 lines of code changed in 1 file: