From 898784ed8ce2f87af9d9ffe611ad4bcd77f508a8 Mon Sep 17 00:00:00 2001 From: Expo on server Date: Fri, 12 Jul 2024 11:33:16 +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 5d378b9e3..ae9dbf0dc 100644 --- a/cave_data/cavealiases.txt +++ b/cave_data/cavealiases.txt @@ -18,7 +18,7 @@ ; extra commas at the end are ignored ; extra blanks are ignored ; later aliases can reference earlier ones -; all upper- and lower-case variants are done automatically +; all upper- and lower-case variants for the alias are done automatically ; only one alias and target per line # ("2011-01", "1623-292"), seems to be a mistake @@ -113,4 +113,5 @@ + \ No newline at end of file