aboutsummaryrefslogtreecommitdiff
path: root/paludis/pretty_print_options.se
diff options
context:
space:
mode:
Diffstat (limited to 'paludis/pretty_print_options.se')
-rw-r--r--paludis/pretty_print_options.se1
1 files changed, 1 insertions, 0 deletions
diff --git a/paludis/pretty_print_options.se b/paludis/pretty_print_options.se
index 62e02020e..749e8d033 100644
--- a/paludis/pretty_print_options.se
+++ b/paludis/pretty_print_options.se
@@ -6,5 +6,6 @@ make_enum_PrettyPrintOption()
prefix ppo
key ppo_multiline_allowed "Print over multiple lines if appropriate"
+ key ppo_include_special_annotations "Include dsak_expanded and dsak_synthetic annotations"
}