This repository has been archived on 2024-09-09. You can view files and clone it, but cannot push or open issues or pull requests.

Anmol Sethi 88c76d4794

Fix typo in guide.md

2020-06-04 16:49:49 -04:00

..

assets

Replace gif with screenshot

2020-05-27 15:48:22 -04:00

CONTRIBUTING.md

Remove colons from image filenames

2020-06-03 15:45:16 -04:00

FAQ.md

FAQ: Explain differences compared to Theia

2020-06-04 07:30:41 -04:00

guide.md

Fix typo in guide.md

2020-06-04 16:49:49 -04:00

install.md

Merge branch 'docs'

2020-06-04 16:47:36 -04:00

npm.md

Rename container and release-container to images and release-image

2020-06-03 15:45:16 -04:00