Skip to content
Snippets Groups Projects

silence fewer warnings, add comment about overwriting notation

Merged silence fewer warnings, add comment about overwriting notation
ralf/notation into master
Merged Ralf Jung requested to merge ralf/notation into master
Compare
and
Compare changes
  • Side-by-side
  • Inline
Files
2