Skip to content
Snippets Groups Projects

list.v: avoid using mangled names

Merged list.v: avoid using mangled names
ralf/mangle into master
All threads resolved!
Merged Ralf Jung requested to merge ralf/mangle into master
All threads resolved!
Compare
and
Compare changes
  • Side-by-side
  • Inline
Files
1