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 /public/js/extra.js | |
| parent | 299301f0fe5bea41b4407bbbc03932fc4dd1c1d3 (diff) | |
| parent | 9898ab3ca5fa226967d8a3aca8e6e752554ed64d (diff) | |
Merge pull request #453 from hedgedoc/misc/renaming
Diffstat (limited to 'public/js/extra.js')
| -rw-r--r-- | public/js/extra.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/public/js/extra.js b/public/js/extra.js index 0a95b1b1..49dd23ce 100644 --- a/public/js/extra.js +++ b/public/js/extra.js @@ -117,9 +117,9 @@ function getTitle (view) { export function renderTitle (view) { let title = getTitle(view) if (title) { - title += ' - CodiMD' + title += ' - HedgeDoc' } else { - title = 'CodiMD - Collaborative markdown notes' + title = 'HedgeDoc - Collaborative markdown notes' } return title } |