Merge branch 'master' into feature/server/generate-api
# Conflicts: # ivette/src/dome/src/main/dome.js # ivette/src/dome/src/renderer/data/json.ts # ivette/src/dome/src/renderer/data/states.ts # ivette/src/dome/src/renderer/dome.js # ivette/src/dome/src/renderer/text/buffers.js
Showing
- .Makefile.lint 0 additions, 1 deletion.Makefile.lint
- .gitignore 3 additions, 0 deletions.gitignore
- ALL_VERSIONS 1 addition, 0 deletionsALL_VERSIONS
- Changelog 10 additions, 6 deletionsChangelog
- Makefile 25 additions, 2 deletionsMakefile
- VERSION 1 addition, 1 deletionVERSION
- bin/build-src-distrib.sh 2 additions, 0 deletionsbin/build-src-distrib.sh
- bin/wp-qualif.sh 2 additions, 0 deletionsbin/wp-qualif.sh
- configure.in 5 additions, 10 deletionsconfigure.in
- devel_tools/docker/README.md 29 additions, 0 deletionsdevel_tools/docker/README.md
- devel_tools/docker/frama-c.21.0/Dockerfile 58 additions, 0 deletionsdevel_tools/docker/frama-c.21.0/Dockerfile
- devel_tools/docker/frama-c.21.1/Dockerfile 58 additions, 0 deletionsdevel_tools/docker/frama-c.21.1/Dockerfile
- doc/developer/advance.tex 1 addition, 3 deletionsdoc/developer/advance.tex
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- ivette/src/dome/src/main/dome.js 3 additions, 3 deletionsivette/src/dome/src/main/dome.js
- ivette/src/dome/src/misc/plugins.js 3 additions, 3 deletionsivette/src/dome/src/misc/plugins.js
- ivette/src/dome/src/misc/system.js 1 addition, 1 deletionivette/src/dome/src/misc/system.js
- ivette/src/dome/src/renderer/data/json.ts 12 additions, 11 deletionsivette/src/dome/src/renderer/data/json.ts
- ivette/src/dome/src/renderer/data/states.ts 26 additions, 16 deletionsivette/src/dome/src/renderer/data/states.ts
- ivette/src/dome/src/renderer/dome.js 1 addition, 1 deletionivette/src/dome/src/renderer/dome.js
Loading
Please register or sign in to comment