Skip to content
Snippets Groups Projects
Commit bd114ac6 authored by Ralf Jung's avatar Ralf Jung
Browse files

comment normalization

parent 69321f1d
Branches
Tags
No related merge requests found
-Q theories stdpp -Q theories stdpp
# "Declare Scope" does not exist yet in 8.9 # "Declare Scope" does not exist yet in 8.9.
-arg -w -arg -undeclared-scope -arg -w -arg -undeclared-scope
theories/base.v theories/base.v
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment