Skip to content
Snippets Groups Projects
Commit fbe47c2b authored by Ludovic Apvrille's avatar Ludovic Apvrille Committed by Fabien Tessier
Browse files

Updating tguiaction text for formal verification

parent f64b6c0d
No related branches found
No related tags found
2 merge requests!30Merge project manager into master,!29Resolve "Implement Project Management in TTool"
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment