bookloupe/bookloupe.h
changeset 198 9f1defcca7d6
parent 147 bb31577536d1
child 191 189183b37598
child 200 8e0ba1a088c4
     1.1 --- a/bookloupe/bookloupe.h	Thu Oct 03 16:09:39 2013 +0100
     1.2 +++ b/bookloupe/bookloupe.h	Fri Oct 25 11:15:18 2013 +0100
     1.3 @@ -55,6 +55,7 @@
     1.4      MARKUP_SWITCH,
     1.5      USERTYPO_SWITCH,
     1.6      DP_SWITCH,
     1.7 +    DUMP_CONFIG_SWITCH,
     1.8      SWITNO
     1.9  };
    1.10