Skip to content
GitLab
Explore
Sign in
Register
Tarot
tarot
Repository
tarot
Makefile.am
Find file
Blame
History
Permalink
Run frama-c-gui
· 1ae4482f
Vivien Kraus
authored
Jan 25, 2020
The =frama-c-gui= target now runs the Frama-c GUI. You can do: make frama-c-gui
1ae4482f