]> 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)
committerBruno Haible <bruno@clisp.org>
Fri, 17 May 2024 22:57:11 +0000 (00:57 +0200)
commitd89f33b82ec508273402012a935eaba0efb89e9f
tree641f48f0e6336adc5b5ea143344a65edd0dd3e93
parentf8d1421ed0674df9d6ad260f31b1a627d04ed106
maint.mk: Don't fail on ~/.indent.pro, reported by Collin Funk.

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