1783
1783
printf("%s style-file parameters%s%s%s%s:\n",
1784
1784
see_all ? "Default" : "Modified",
1785
1785
*pa ? " beginning with \"" : "", (char *)pa, *pa ? "\"" : "",
1789
1786
0 ? "\n (null or empty values for \
1790
1787
@@ command codes are misleading)" : "");