pub const WORKSPACE_FOLDERNAME: &str = "workspace";
pub const MODS_FOLDERNAME: &str = "mods";
pub const SERVER_SETTINGS_FILENAME: &str = "server-settings.json";
pub const MAP_GEN_SETTINGS_FILENAME: &str = "map-gen-settings.json";
pub const MAP_SETTINGS_FILENAME: &str = "map-settings.json";