Skip to content
Snippets Groups Projects
Select Git revision
  • f014f7df4725ae1d52653e92b22e40e480a31d26
  • master default protected
  • feature/package
3 results

pnml-relast

rschoene's avatar
0.2.11
René Schöne authored 
- add relast.extraOptions
- add ragconnect.extraOptions
9e2ebccc
History
rschoene's avatar 9e2ebccc
History
Name Last commit Last update