Merge pull request #453 from hedgedoc/misc/renaming

2 files changed, 3 insertions, 3 deletions

diff --git a/public/js/cover.js b/public/js/cover.js
index 39f748e9..ed10afbf 100644
--- a/public/js/cover.js
+++ b/public/js/cover.js
@@ -318,7 +318,7 @@ $('.ui-save-history').click(() => {
     const blob = new Blob([history], {
       type: 'application/json;charset=utf-8'
     })
-    saveAs(blob, `codimd_history_${moment().format('YYYYMMDDHHmmss')}`, true)
+    saveAs(blob, `hedgedoc_history_${moment().format('YYYYMMDDHHmmss')}`, true)
   })
 })
 
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
 }