Skip to content

Commit 8d32202

Browse files
committed
Remove chkware IDE extension installation docs
1 parent 36c28c9 commit 8d32202

1 file changed

Lines changed: 0 additions & 7 deletions

File tree

docs/02-setup.md

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -87,10 +87,3 @@ $ pipx upgrade chk
8787
```
8888

8989
Otherwise, if **pip** was used to install then same process given above should work for upgrade as well.
90-
91-
---
92-
### chkware IDE extension installation
93-
94-
**chkware** will have your favorite IDE / editor integration so that it is easy for you to write `.chk` files. We are currently actively developing a Visual Studio Code extension. We will update this section with usage, once it's released.
95-
96-
[TBD]

0 commit comments

Comments
 (0)