"src/plugins/git@git.frama-c.com:pub/frama-c.git" did not exist on "c1b59df1b9ba1b69707aa814eb5df527702df5b0"
-
Andre Maroneze authored
also avoid accidental `*/` in FILTER command
Andre Maroneze authoredalso avoid accidental `*/` in FILTER command