From 0ed1f8edf778b9bbd3761bdfc6de38b11918a713 Mon Sep 17 00:00:00 2001 From: Wagyourtail Date: Wed, 31 Jul 2024 16:51:26 -0500 Subject: [PATCH] fix accidental pruning of serverOfficial --- .../wagyourtail/unimined/internal/mapping/MappingsProvider.kt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/mapping/kotlin/xyz/wagyourtail/unimined/internal/mapping/MappingsProvider.kt b/src/mapping/kotlin/xyz/wagyourtail/unimined/internal/mapping/MappingsProvider.kt index a5cde651..881f3d4c 100644 --- a/src/mapping/kotlin/xyz/wagyourtail/unimined/internal/mapping/MappingsProvider.kt +++ b/src/mapping/kotlin/xyz/wagyourtail/unimined/internal/mapping/MappingsProvider.kt @@ -181,6 +181,7 @@ class MappingsProvider(project: Project, minecraft: MinecraftConfig, subKey: Str EnvType.JOINED -> { mapNamespace("client", "clientOfficial") mapNamespace("server", "serverOfficial") + provides("serverOfficial" to false) requires("clientOfficial") } } @@ -307,6 +308,8 @@ class MappingsProvider(project: Project, minecraft: MinecraftConfig, subKey: Str EnvType.JOINED -> { mapNamespace("client", "clientOfficial") mapNamespace("server", "serverOfficial") + requires("clientOfficial") + provides("serverOfficial" to false) } } }