Module Name:    src
Committed By:   rillig
Date:           Sun Dec 10 17:45:35 UTC 2023

Modified Files:
        src/usr.bin/indent: args.c

Log Message:
indent: be strict about options from profile files

Previously, the "option" 'xdi0' was treated the same as '-xdi0'.

To generate a diff of this commit:
cvs rdiff -u -r1.27 -r1.28 src/tests/usr.bin/indent/
cvs rdiff -u -r1.86 -r1.87 src/usr.bin/indent/args.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Reply via email to