aboutsummaryrefslogtreecommitdiff
path: root/src/clients/cave/command.hh
diff options
context:
space:
mode:
Diffstat (limited to 'src/clients/cave/command.hh')
-rw-r--r--src/clients/cave/command.hh1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/clients/cave/command.hh b/src/clients/cave/command.hh
index 42171447f..81d24f3da 100644
--- a/src/clients/cave/command.hh
+++ b/src/clients/cave/command.hh
@@ -36,6 +36,7 @@ namespace paludis
ci_development,
ci_scripting,
ci_internal,
+ ci_ignore,
last_ci
};