"src/plugins/git@git.frama-c.com:pub/frama-c.git" did not exist on "24f58b471c4e3aa53ed7c0f41e506ba382e5d926"
-
Virgile Prevosto authored
Blindly accept all changes in doc and type of plugin-dev-guide-labelled values since last time `make check-dev-guide` was successfully launched
Virgile Prevosto authoredBlindly accept all changes in doc and type of plugin-dev-guide-labelled values since last time `make check-dev-guide` was successfully launched
