| changeset 26088 | f479ca655ba1 |
| parent 25605 | c2d72342fe19 |
| 26087:93e7681752f6 | 26088:f479ca655ba1 |
|---|---|
38 String invocationId, |
38 String invocationId, |
39 String[] args, |
39 String[] args, |
40 List<File> explicitSources, |
40 List<File> explicitSources, |
41 Set<URI> sourcesToCompile, |
41 Set<URI> sourcesToCompile, |
42 Set<URI> visibleSources); |
42 Set<URI> visibleSources); |
43 String serverSettings(); |
|
43 } |
44 } |