Anton Kosyakov
Anton Kosyakov
gifs and images are dated
For example, an issue does not need a comment if it is labeled with `windows`.
Could also one reuse .gitignore?
We must publish static files to the CDN service for each release and use this CDN service to serve webviews.
## Description ``` ./scripts/es-coverage.sh curl lama.sh | LAMA_PORT=8888 sh gp preview http://localhost:8888/coverage/lcov-report --external ``` ## Related Issue(s) Fixes # ## How to test ## Documentation #### Preview status gitpod:summary ##...
I'm trying to install it in VS Code Browser for gitpod.io
See: [org.eclipse.xtend.lib.macro.services.Associator](https://github.com/eclipse/xtext/blob/e9f0e284c42cda97ea57086c31ba2f5160049b26/plugins/org.eclipse.xtend.lib.macro/src/org/eclipse/xtend/lib/macro/services/Associator.java).setPrimarySourceElement(MutableElement, Element)
Otherwise one first should open the parent folder, create a new folder and then open it.