Hello, the new option -ppi is mentioned in the documentation (section 1.8) of indent 2.2.9. But neither the short nor the long version of ppi is explained in the documentation.
Thanks Nils _______________________________________________ bug-indent mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-indent
