From da35a9f231b786c4295ee3b27cf39eae6ae06c77 Mon Sep 17 00:00:00 2001 From: philip s Date: Sun, 26 Jan 2025 23:17:04 +0000 Subject: [PATCH] Online edit of cave_data/cavealiases.txt --- cave_data/cavealiases.txt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/cave_data/cavealiases.txt b/cave_data/cavealiases.txt index b63e5ee54..05d3d1f8e 100644 --- a/cave_data/cavealiases.txt +++ b/cave_data/cavealiases.txt @@ -102,8 +102,9 @@ ("hc", "1626-359"), ("loveshack", "1626-2018-ad-03"), ("crushed-garlic", "1626-2018-ad-03"), - ("garlic", "2018-ad-02") - ("garlic camp", "2018-ad-02") + ("garlic", "2018-ad-02"), + ("garlic camp", "2018-ad-02"), + ("1626-2018-DM-04", "1626-368"), # Renaming cave ids in July 2024 which end in a letter @@ -123,7 +124,6 @@ ("Casino", "1626-casino-01"), ("Upside-down", "1626-upside-down-01"), ("2012-ok-01", "2017-nr-02"), - ("1626-2018-DM-04", "1626-368"), ("MickeyMouse", "1623-316")