add missing line

2023-12-16 13:18:01 +01:00 · 2023-12-16 13:18:01 +01:00 · 2c280901b9
parent a6d27df807
commit 2c280901b9
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -235,6 +235,7 @@ function instCodeExtension() {

  say "done." "Extension"
 }
+
 function setCodeSettings() {
  CODEFILE="$HOME/data/User/settings.json"