]> 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 23:24:09 +0000 (01:24 +0200)
commitbb5772c86a98ef1d60caf443bb230482701e1352
tree7ef0e09f08f69d4d18402fea8914e81687c751d3
parent6a7bb556eeabcde46999dbb0e5228456272efc6d
maint.mk: Don't fail on ~/.indent.pro, reported by Collin Funk.

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