Merge branch 'main' of https://gitlab.utwente.nl/dp-group-14/ide-plugin into main (814024f3) · Commits · DP-Group 14 / IDE-Plugin · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

I

IDE-Plugin
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Iterations
- Wiki
- Requirements
- Environments
- Terraform modules
- Incidents
- Service Desk

Snippets Groups Projects

814024f3

Commit 814024f3 authored 3 years ago by Sytze de Witte

Downloads
- Plain Diff

Merge branch 'main' of https://gitlab.utwente.nl/dp-group-14/ide-plugin into main

parents c16ded3a 7b0b0a96

No related branches found

No related tags found

Loading

Changes 7

Hide whitespace changes

Inline Side-by-side

Showing

README.md 17 additions, 15 deletions

README.md
docs/user_manual.md.html 1 addition, 1 deletion

docs/user_manual.md.html
media/dotview.js 19 additions, 4 deletions

media/dotview.js
package.json 7 additions, 3 deletions

package.json
src/dotViewer.ts 80 additions, 13 deletions

src/dotViewer.ts
src/sidebar.ts 2 additions, 3 deletions

src/sidebar.ts
vsc-extension-quickstart.md 0 additions, 42 deletions

vsc-extension-quickstart.md

with 126 additions and 81 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment