FIX: Work undone

We are not going to follow this path, but I will leave this commit as part of the git history
2024-11-11 18:43:50 +01:00
parent 8cdb3b8c60
commit 0df132d5c2
6 changed files with 348 additions and 267 deletions
--- a/base/src/user_model/mod.rs
+++ b/base/src/user_model/mod.rs
@@ -1,5 +1,6 @@
 #![deny(missing_docs)]

+mod border_utils;
 mod common;
 mod history;
 mod ui;