Skip to content
Snippets Groups Projects
user avatar
Oliver Sander authored
Remove a few specializations.  From now on we will assume that all target spaces can be parametrized by some sort of global embedding.  I don't see a case coming where that is not general enough

[[Imported from SVN: r7373]]
6037c721
History