phasar
phasar copied to clipboard
Redesign ProjectIRDB
The redesign of the ProjectIRDB, as discussed
After merging, this branch can be deleted
To reduce merge conflicts, we should first merge #516. However, comments are also welcome before^^