add some diacritics, accents, etc

fixes #116
2022-08-10 14:55:56 +02:00 · 2022-08-10 14:55:56 +02:00 · 0449d95420
parent be2874ed12
commit 0449d95420
1 changed files with 1 additions and 0 deletions
--- a/index.html
+++ b/index.html
@ -298,6 +298,7 @@
 // Type some code ->

 console.log "oO08 iIlL1 g9qCGQ ~-+=>";
+// â é ù ï ø ç Ã Ē Æ œ

 function updateGutters(cm) {
    var gutters = cm.display.gutters,