Rename user to user.json

CaptainFact · Jul 7, 2023 · 23d4eb5 · 23d4eb5
1 parent 264d372
commit 23d4eb5
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/app/i18n/eo/user → app/i18n/eo/user.json b/app/i18n/eo/user → app/i18n/eo/user.json