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