Skip to content
Commit 8c487ccd authored by tohecz's avatar tohecz
Browse files

Remove color from proof env. and from \qedsymbol

parent e0aa0793
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