tuned;
authorwenzelm
Mon Jan 02 09:41:25 2017 +0100 (2017-01-02)
changeset 64744ba0d4829d5f1
parent 64743 ebaf9d01a964
child 64745 0f002c15f3ab
tuned;
src/Tools/VSCode/src/grammar.scala
     1.1 --- a/src/Tools/VSCode/src/grammar.scala	Mon Jan 02 09:39:00 2017 +0100
     1.2 +++ b/src/Tools/VSCode/src/grammar.scala	Mon Jan 02 09:41:25 2017 +0100
     1.3 @@ -146,6 +146,6 @@
     1.4      val output_path = output getOrElse Path.explode(default_output(logic))
     1.5  
     1.6      Output.writeln(output_path.implode)
     1.7 -    File.write(output_path, generate(keywords))
     1.8 +    File.write_backup(output_path, generate(keywords))
     1.9    })
    1.10  }