Merge pull request #4755 from CHOMPStation2/upstream-merge-13547

[MIRROR] Fixes an accidental deletion during the language PR
This commit is contained in:
Nadyr
2022-08-28 18:55:11 -04:00
committed by GitHub
@@ -421,6 +421,7 @@
user.add_language(LANGUAGE_ALAI)
user.add_language(LANGUAGE_PROMETHEAN)
user.add_language(LANGUAGE_GIBBERISH)
user.add_language("Mouse")
user.add_language("Animal")
user.add_language("Teppi")
else
@@ -448,6 +449,7 @@
user.remove_language(LANGUAGE_ALAI)
user.remove_language(LANGUAGE_PROMETHEAN)
user.remove_language(LANGUAGE_GIBBERISH)
user.remove_language("Mouse")
user.remove_language("Animal")
user.remove_language("Teppi")