lukem ecb81c3f6d - convert usage of "defopt" to "defflag" where the relevant option does ... not support a value (e.g., it's to be used as "options FOO" instead of "options FOO=xxx"). options that take a value were converted to defparam recently. - minor whitespace & formatting cleanups		2001-11-28 10:21:10 +00:00
..
P4032	cleanup:	2001-11-20 12:56:17 +00:00
P5064	cleanup:	2001-11-20 12:56:17 +00:00
P6032	cleanup:	2001-11-20 12:56:17 +00:00
files.algor	- convert usage of "defopt" to "defflag" where the relevant option does	2001-11-28 10:21:10 +00:00
std.algor	…