diff options
author | David Mehren | 2020-12-03 22:18:50 +0100 |
---|---|---|
committer | GitHub | 2020-12-03 22:18:50 +0100 |
commit | 2338a98731bd38717e43403f8eb2ab831e5bdd81 (patch) | |
tree | 7f703cbe395d6ba6f3e0def4eec5388cc88cc17a | |
parent | 81e463250d8811ed9baf39767e24e79a6bef4f71 (diff) | |
parent | 0195d074a89db2f87df009ca5715c70124d4cdde (diff) |
Merge pull request #613 from nidico/patch-1
Fix some typos in history.md
Diffstat (limited to '')
-rw-r--r-- | docs/history.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/history.md b/docs/history.md index 393c4fcf..49f40618 100644 --- a/docs/history.md +++ b/docs/history.md @@ -38,7 +38,7 @@ originated with them. ## CodiMD became HedgeDoc -With two actively named forks, sharing the same name. Both [insisting on being +With two actively named forks sharing the same name, both [insisting on being the original/actual owner of the name CodiMD](https://github.com/hackmdio/codimd/issues/1219), people became rightfully confused about the projects sharing the same name. @@ -49,6 +49,6 @@ rebranding should take place and therefore, after a [name was agreed on in July 2020](https://community.codimd.org/t/codimd-becomes-hedgedoc/170), the next step was to [find a logo](https://community.codimd.org/t/time-to-find-the-hedgedoc-logo/171). -In November of 2020, roughly 7 months after the initive was started, a logo was +In November of 2020, roughly 7 months after the initiative was started, a logo was found, the rebranding of the application as well as all community pages took place -and the time of name conficts was over. (hopefully.) +and the time of name conflicts was over. (hopefully.) |