Skip to content
Snippets Groups Projects
Commit f73b1d32 authored by dgelessus's avatar dgelessus
Browse files

Remove deprecated checkTLC4BIsApplicable overload 

Now no longer used by the ProB Java API or ProB 2 UI.
parent 62e79352
Checking pipeline status
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment