src/Pure/build-jars
changeset 66098 5aa9cb83e70e
parent 66096 6187612e83c1
child 66141 81c8bb1d33b9
     1.1 --- a/src/Pure/build-jars	Fri Jun 16 20:44:36 2017 +0200
     1.2 +++ b/src/Pure/build-jars	Fri Jun 16 21:04:39 2017 +0200
     1.3 @@ -168,10 +168,10 @@
     1.4    ../Tools/VSCode/src/document_model.scala
     1.5    ../Tools/VSCode/src/dynamic_output.scala
     1.6    ../Tools/VSCode/src/grammar.scala
     1.7 -  ../Tools/VSCode/src/preview.scala
     1.8 +  ../Tools/VSCode/src/preview_panel.scala
     1.9    ../Tools/VSCode/src/protocol.scala
    1.10    ../Tools/VSCode/src/server.scala
    1.11 -  ../Tools/VSCode/src/state.scala
    1.12 +  ../Tools/VSCode/src/state_panel.scala
    1.13    ../Tools/VSCode/src/vscode_rendering.scala
    1.14    ../Tools/VSCode/src/vscode_resources.scala
    1.15  )