src/Pure/build-jars
changeset 65983 d8c5603c1732
parent 65977 c51b74be23b6
child 66096 6187612e83c1
     1.1 --- a/src/Pure/build-jars	Wed May 31 11:49:29 2017 +0200
     1.2 +++ b/src/Pure/build-jars	Wed May 31 17:25:26 2017 +0200
     1.3 @@ -167,8 +167,8 @@
     1.4    ../Tools/VSCode/src/channel.scala
     1.5    ../Tools/VSCode/src/document_model.scala
     1.6    ../Tools/VSCode/src/dynamic_output.scala
     1.7 -  ../Tools/VSCode/src/dynamic_preview.scala
     1.8    ../Tools/VSCode/src/grammar.scala
     1.9 +  ../Tools/VSCode/src/preview.scala
    1.10    ../Tools/VSCode/src/protocol.scala
    1.11    ../Tools/VSCode/src/server.scala
    1.12    ../Tools/VSCode/src/vscode_rendering.scala