rust/hedgewars-server/src/server.rs
changeset 14713 e5415faa117b
parent 14478 98ef2913ec73
child 14800 f43ab2bd76ae
--- a/rust/hedgewars-server/src/server.rs	Wed Feb 06 22:40:38 2019 +0300
+++ b/rust/hedgewars-server/src/server.rs	Thu Feb 07 14:49:51 2019 +0300
@@ -5,6 +5,7 @@
 #[cfg(feature = "official-server")]
 mod database;
 mod handlers;
+pub mod indexslab;
 pub mod io;
 pub mod network;
 pub mod room;