Merge branch 'feature/ivette/packages' into 'master'
[Ivette] refactoring for multiple package support See merge request frama-c/frama-c!3015
Showing
- ivette/.gitignore 1 addition, 0 deletionsivette/.gitignore
- ivette/Makefile 25 additions, 13 deletionsivette/Makefile
- ivette/configure.js 47 additions, 0 deletionsivette/configure.js
- ivette/src/dome/.gitignore 0 additions, 41 deletionsivette/src/dome/.gitignore
- ivette/src/dome/CHANGELOG.md 0 additions, 1 deletionivette/src/dome/CHANGELOG.md
- ivette/src/dome/doc/guides/development.md 2 additions, 10 deletionsivette/src/dome/doc/guides/development.md
- ivette/src/dome/examples/Makefile 0 additions, 0 deletionsivette/src/dome/examples/Makefile
- ivette/src/dome/examples/README.md 5 additions, 0 deletionsivette/src/dome/examples/README.md
- ivette/src/dome/main/dome.ts 0 additions, 0 deletionsivette/src/dome/main/dome.ts
- ivette/src/dome/main/menubar.ts 0 additions, 0 deletionsivette/src/dome/main/menubar.ts
- ivette/src/dome/misc/devtools.js 0 additions, 0 deletionsivette/src/dome/misc/devtools.js
- ivette/src/dome/misc/register.js 0 additions, 0 deletionsivette/src/dome/misc/register.js
- ivette/src/dome/misc/system.ts 0 additions, 0 deletionsivette/src/dome/misc/system.ts
- ivette/src/dome/misc/utils.ts 0 additions, 0 deletionsivette/src/dome/misc/utils.ts
- ivette/src/dome/renderer/controls/buttons.tsx 0 additions, 0 deletionsivette/src/dome/renderer/controls/buttons.tsx
- ivette/src/dome/renderer/controls/gallery.json 0 additions, 0 deletionsivette/src/dome/renderer/controls/gallery.json
- ivette/src/dome/renderer/controls/icons.tsx 0 additions, 0 deletionsivette/src/dome/renderer/controls/icons.tsx
- ivette/src/dome/renderer/controls/labels.tsx 0 additions, 0 deletionsivette/src/dome/renderer/controls/labels.tsx
- ivette/src/dome/renderer/controls/style.css 0 additions, 0 deletionsivette/src/dome/renderer/controls/style.css
- ivette/src/dome/renderer/data/compare.ts 0 additions, 0 deletionsivette/src/dome/renderer/data/compare.ts
Loading
Please register or sign in to comment