Skip to content
Snippets Groups Projects
Commit 8260fd30 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[ci] pathcrawler swallowed linea-cabs

parent c26d39f8
No related branches found
No related tags found
No related merge requests found
......@@ -221,7 +221,6 @@ external-plugins:
"context-from-precondition",
"frama-clang",
"genassigns",
"linea-cabs",
"meta",
"minimal",
"mthread",
......
......@@ -2,7 +2,6 @@ acsl-importer git@git.frama-c.com:frama-c/acsl-importer.git
caveat-importer git@git.frama-c.com:frama-c/caveat-importer.git
context-from-precondition git@git.frama-c.com:frama-c/context-from-precondition.git
genassigns git@git.frama-c.com:frama-c/genassigns.git
linea-cabs git@git.frama-c.com:frama-c/linea-cabs.git
meta git@git.frama-c.com:frama-c/meta.git
mthread git@git.frama-c.com:frama-c/mthread.git
security git@git.frama-c.com:frama-c/security.git
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment