Skip to content
GitLab
Explore
Sign in
general
stups
ProB 2 Jupyter Kernel
Repository
prob2-jupyter-kernel
..
commands
DotCommand.java
Find file
Blame
History
Permalink
Use new ProB 2 method for dot visualization without manual temp file
· a654e73e
dgelessus
authored
Dec 04, 2020
a654e73e