diff -r 6b9655be1e7f -r 863059f61793 rust/hedgewars-server/src/server.rs
--- a/rust/hedgewars-server/src/server.rs	Tue Feb 11 01:33:31 2020 +0100
+++ b/rust/hedgewars-server/src/server.rs	Sat Mar 07 01:04:37 2020 +0300
@@ -1,5 +1,6 @@
 #[cfg(feature = "official-server")]
 mod database;
+pub mod demo;
 #[cfg(feature = "official-server")]
 pub mod io;
 pub mod network;