path: root/org.openslx.pvs.service

[D-BUS Service]
Name=org.openslx.pvs
Exec=@CMAKE_INSTALL_PREFIX@/bin/pvs -d