diff options
author | David Mehren | 2020-11-15 21:02:36 +0100 |
---|---|---|
committer | GitHub | 2020-11-15 21:02:36 +0100 |
commit | 4c0efe1237bc33b52d06eaf86a28adad9a041ec2 (patch) | |
tree | fa068d16074645b7b6d8d88b78724b9cd82dd879 /locales/fr.json | |
parent | 299301f0fe5bea41b4407bbbc03932fc4dd1c1d3 (diff) | |
parent | 9898ab3ca5fa226967d8a3aca8e6e752554ed64d (diff) |
Merge pull request #453 from hedgedoc/misc/renaming
Diffstat (limited to 'locales/fr.json')
-rw-r--r-- | locales/fr.json | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/locales/fr.json b/locales/fr.json index ebda3c69..4937e334 100644 --- a/locales/fr.json +++ b/locales/fr.json @@ -1,6 +1,5 @@ { "Collaborative markdown notes": "Notes collaboratives en markdown", - "Realtime collaborative markdown notes on all platforms.": "Notes en markdown collaboratives en temps réel sur toutes les plateformes.", "Best way to write and share your knowledge in markdown.": "Le meilleur moyen d'écrire et partager votre savoir en markdown.", "Intro": "Intro", "History": "Historique", |