"src/plugins/e-acsl/tests/git@git.frama-c.com:pub/frama-c.git" did not exist on "08a3ac6f4bf955cf3697f0d791b9fcb281fe7828"
-
Virgile Prevosto authored
Apparently things like that exist in untamed code bases. Fixes #615
Virgile Prevosto authoredApparently things like that exist in untamed code bases. Fixes #615
