config: use ppsi by default
This also adds the default configuration file for ppsi. It has no
effect, because it's the default that would apply if no configuration
file is there, but it's useful as a reference, and to ease editing.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
Showing
Please
register
or
sign in
to comment