mirror of
git://git.sv.gnu.org/coreutils.git
synced 2026-06-10 03:36:33 +02:00
4da7daa01f
* man/env.x: Avoid confusion in the [OPTIONS] section by renaming to [SCRIPT OPTION HANDLING], and removing info regarding default signal handling, which is best restricted to the full info manual. Addresses https://bugs.gnu.org/72914