Online edit of cave_data/cavealiases.txt

This commit is contained in:
Expo on server 2024-07-03 17:52:02 +01:00
parent 107f85e1c9
commit 49b7c2db30

View File

@ -6,7 +6,7 @@
; Note that this just creates aliases for historic ids, it does not rename any cave or file.
; The format is ("<alias identifier>","<target identifier>")
; The format is ("<alias identifier>", "<target identifier>")
; 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")