We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents f6219d4 + f10c697 commit 22e9b32Copy full SHA for 22e9b32
CODEOWNERS
@@ -51,9 +51,6 @@ src/util/irep_ids.def @diffblue/cbmc-developers
51
unit/ @diffblue/cbmc-developers
52
regression/ @diffblue/cbmc-developers
53
54
-CMakeLists.txt @reuk @chrisr-diffblue
55
-cmake/ @reuk @chrisr-diffblue
56
-
57
scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel
58
.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel
59
appveyor.yml @diffblue/devops @thk123 @forejtv @peterschrammel
0 commit comments