Skip to content

allow to do 'macro TB' instead of 'macro -p TB'#2435

Merged
jmaslek merged 2 commits intomainfrom macroSep 2, 2022
+2

Commits

Commits on Aug 27, 2022

Commits on Sep 2, 2022