Rename extension to extension.json

CaptainFact · Jul 7, 2023 · 47b48ea · 47b48ea
1 parent 3539b14
commit 47b48ea
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/app/i18n/eo/extension → app/i18n/eo/extension.json b/app/i18n/eo/extension → app/i18n/eo/extension.json