]> Savannah Git Hosting - gnulib.git/commit
maint.mk: Don't fail on ~/.indent.pro, reported by Collin Funk.
authorSimon Josefsson <simon@josefsson.org>
Fri, 3 May 2024 06:44:03 +0000 (08:44 +0200)
committerSimon Josefsson <simon@josefsson.org>
Fri, 3 May 2024 06:44:03 +0000 (08:44 +0200)
commit6213c5bd72d15ca5e1ea9c34122899e02fed448c
tree0d1ae95317cd3980bc884284533606058f21a6a8
parentcae0e724baff3438dea796f5f7ff7bd17e04a9d8
maint.mk: Don't fail on ~/.indent.pro, reported by Collin Funk.

* top/maint.mk (indent_args): Use --ignore-profile.
ChangeLog
top/maint.mk