Merge branch 'feature/blanchard/pathcrawler/swallow-linea-cabs' into 'master'

[ci] pathcrawler swallowed linea-cabs

See merge request frama-c/frama-c!4275

.gitlab-ci.yml

@@ -221,7 +221,6 @@ external-plugins:
           "context-from-precondition",
           "frama-clang",
           "genassigns",
-          "linea-cabs",
           "meta",
           "minimal",
           "mthread",

nix/external-plugins.txt

@@ -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