Skip to content
Snippets Groups Projects
Commit e954b8bf authored by Martin Reinecke's avatar Martin Reinecke
Browse files

renamings

parent 7f0d49de
No related branches found
No related tags found
1 merge request!224Rename projection operators to distributors
Pipeline #