Commit 6213c5bd72d15ca5e1ea9c34122899e02fed448c

Simon Josefsson 2024-05-03T08:44:03

maint.mk: Don't fail on ~/.indent.pro, reported by Collin Funk. * top/maint.mk (indent_args): Use --ignore-profile.