Public Git Hosting - scons.git/commit

commit	a74da54ec8fe7788ad808c0ce622cf8537d0e613
author	William Deegan <bill@baddogconsulting.com>
	Wed, 11 Sep 2024 17:41:39 +0000 (11 10:41 -0700)
committer	GitHub <noreply@github.com>
	Wed, 11 Sep 2024 17:41:39 +0000 (11 10:41 -0700)
tree	052329e3723166770b7bd68bec9ce18e9596e542	tree \| snapshot (tar.gz zip)
parent	159f77ec71470445d20b8e217dcfee0e19ae6692	commit \| diff
parent	00c12f9af36c2bf200d68d252f5aa719ec51bf80	commit \| diff

Merge pull request #4593 from mwichmann/AddOption-docstrings

Tweak SConsOptions docstrings