Rename codimd to hedgedoc (#434)

Rename codimd to hedgedoc
This commit is contained in:
mrdrogdrog 2020-09-02 21:17:26 +02:00 committed by GitHub
parent 3a0e35a9f3
commit 0e912d64dd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
39 changed files with 87 additions and 84 deletions

View file

@ -1,8 +1,10 @@
<component name="ProjectDictionaryState">
<dictionary name="codimd">
<dictionary name="hedgedoc">
<words>
<w>CodiMD</w>
<w>HedgeDoc</w>
<w>codimd</w>
<w>hedgedoc</w>
</words>
</dictionary>
</component>
</component>