[dome] suppress remote usage
Showing
- ivette/package.json 0 additions, 1 deletionivette/package.json
- ivette/src/dome/main/dome.ts 10 additions, 0 deletionsivette/src/dome/main/dome.ts
- ivette/src/dome/main/menubar.ts 98 additions, 17 deletionsivette/src/dome/main/menubar.ts
- ivette/src/dome/misc/system.ts 0 additions, 33 deletionsivette/src/dome/misc/system.ts
- ivette/src/dome/renderer/dome.tsx 57 additions, 23 deletionsivette/src/dome/renderer/dome.tsx
- ivette/src/frama-c/client_zmq.ts 1 addition, 1 deletionivette/src/frama-c/client_zmq.ts
- ivette/src/frama-c/server.ts 3 additions, 5 deletionsivette/src/frama-c/server.ts
- ivette/yarn.lock 0 additions, 5 deletionsivette/yarn.lock
Loading
Please register or sign in to comment