rust/hedgewars-server/src/server.rs
author nemo
Wed, 19 Dec 2018 19:00:29 -0500
changeset 14476 f86bd14a7613
parent 14457 98ef2913ec73
child 14692 e5415faa117b
permissions -rw-r--r--
remove if disabled in main config

mod actions;
pub mod client;
pub mod core;
pub mod coretypes;
#[cfg(feature = "official-server")]
mod database;
mod handlers;
pub mod io;
pub mod network;
pub mod room;