diff -r 2071da901c63 -r e5415faa117b rust/hedgewars-server/src/server.rs
--- 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;