diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2022-09-11 16:45:27 -0500 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2022-09-11 17:57:25 -0500 |
commit | f346337dd2899f888dc54e00add233032d7b9a76 (patch) | |
tree | 9eae74b0822de50b73b697f2e1d29fd71eb7e838 /modules/float | |
parent | d0ed95b9ff1c8087c9e18f0226ab89823cfebbe3 (diff) | |
download | gnulib-f346337dd2899f888dc54e00add233032d7b9a76.tar.gz |
maint: avoid unportable ERE \}
* top/maint.mk (sc_copyright_check):
Avoid unportable use of \} in ERE.
Diffstat (limited to 'modules/float')
0 files changed, 0 insertions, 0 deletions