diff options
Diffstat (limited to 'src/ui/ui.h')
| -rw-r--r-- | src/ui/ui.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ui/ui.h b/src/ui/ui.h index eeaa6d8e..a0408503 100644 --- a/src/ui/ui.h +++ b/src/ui/ui.h @@ -315,6 +315,7 @@ void cons_outtype_setting(void); void cons_intype_setting(void); void cons_gone_setting(void); void cons_history_setting(void); +void cons_carbons_setting(void); void cons_log_setting(void); void cons_chlog_setting(void); void cons_grlog_setting(void); |