"git@git.frama-c.com:pub/frama-c.git" did not exist on "efe30d2aefc6d09a2b1db1d6559a145091a6d3f9"
[server] removed project management
Also fixes various sync. bugs
Showing
- ivette/src/frama-c/kernel/api/project/index.ts 0 additions, 71 deletionsivette/src/frama-c/kernel/api/project/index.ts
- ivette/src/frama-c/states.ts 60 additions, 119 deletionsivette/src/frama-c/states.ts
- src/plugins/server/kernel_project.ml 6 additions, 0 deletionssrc/plugins/server/kernel_project.ml
- src/plugins/server/kernel_project.mli 0 additions, 3 deletionssrc/plugins/server/kernel_project.mli
Loading
Please register or sign in to comment