From 01eb39ffd4ca3f7cd9eab27eda36b0888a3ed396 Mon Sep 17 00:00:00 2001 From: Expo on server Date: Wed, 3 Jul 2024 17:52:02 +0100 Subject: [PATCH] Online edit of cave_data/cavealiases.txt --- cave_data/cavealiases.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/cave_data/cavealiases.txt b/cave_data/cavealiases.txt index 6a1fe0967..51fdd203a 100644 --- a/cave_data/cavealiases.txt +++ b/cave_data/cavealiases.txt @@ -6,7 +6,7 @@ ; Note that this just creates aliases for historic ids, it does not rename any cave or file. -; The format is ("","") +; The format is ("", "") ; e.g. ("2017_cucc_28", "1623-290") ("2012-0w-01", "2012-ow-01") # catch the typo: zero for 'O' in some logbook handwriting @@ -103,4 +103,5 @@ ("MickeyMouse", "1623-316") + \ No newline at end of file