Skip to content
Snippets Groups Projects
Commit 5076581d authored by William Schultz's avatar William Schultz Committed by Markus Alexander Kuppe
Browse files

Formatting fix

parent baa781f0
Branches
Tags
No related merge requests found
Show whitespace changes
Inline Side-by-side
tlatools/src/tlc2/tool/TLCState.java
+ 1
− 1
View file @ 5076581d
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment