mirror of
https://github.com/the-draupnir-project/Draupnir.git
synced 2026-05-25 18:04:01 +00:00
94d3f166fd
The name is more appropriate and we will probably keep the interfaces distinct even if later somehow stores become merged.