move stuff around

This commit is contained in:
2022-12-16 17:17:25 +01:00
parent d047e44fb0
commit ce63f08ae6
5 changed files with 11 additions and 9 deletions

View File

@@ -1,4 +1,4 @@
#include "./text_document.hpp"
#include <crdt/text_document.hpp>
#include <numeric>
#include <optional>