mirror of
git://git.sv.gnu.org/coreutils.git
synced 2026-02-16 04:12:26 +02:00
* 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