Skip to content
Snippets Groups Projects
user avatar
Oliver Sander authored
In particular this means having to carry mappers for the local indices around.
This makes the code more verbose, but it also makes it easier to see what is
happening.  While coding this stuff I keep having doubts about whether all
the renumbering works correctly...

[[Imported from SVN: r9925]]
6ff25409
History