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