Merge branch...
Merge branch '1198-messages-perdus-informations-manquantes-lors-de-changements-de-vue-pendant-une-analyse' into 'master' [ivette] Consolidation of states Closes #1198 See merge request frama-c/frama-c!4013
Showing
- ivette/src/dome/renderer/data/states.ts 9 additions, 3 deletionsivette/src/dome/renderer/data/states.ts
- ivette/src/dome/renderer/dnd.tsx 2 additions, 1 deletionivette/src/dome/renderer/dnd.tsx
- ivette/src/dome/renderer/dome.tsx 2 additions, 2 deletionsivette/src/dome/renderer/dome.tsx
- ivette/src/frama-c/states.ts 82 additions, 101 deletionsivette/src/frama-c/states.ts
Loading
Please register or sign in to comment