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