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 /lib/config/default.js | |
parent | 299301f0fe5bea41b4407bbbc03932fc4dd1c1d3 (diff) | |
parent | 9898ab3ca5fa226967d8a3aca8e6e752554ed64d (diff) |
Merge pull request #453 from hedgedoc/misc/renaming
Diffstat (limited to '')
-rw-r--r-- | lib/config/default.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/config/default.js b/lib/config/default.js index 38bb164b..00fa9eae 100644 --- a/lib/config/default.js +++ b/lib/config/default.js @@ -164,7 +164,7 @@ module.exports = { openID: false, // linkifyHeaderStyle - How is a header text converted into a link id. // Header Example: "3.1. Good Morning my Friend! - Do you have 5$?" - // * 'keep-case' is the legacy CodiMD value. + // * 'keep-case' is the legacy HedgeDoc value. // Generated id: "31-Good-Morning-my-Friend---Do-you-have-5" // * 'lower-case' is the same like legacy (see above), but converted to lower-case. // Generated id: "#31-good-morning-my-friend---do-you-have-5" |