comparison doc/format_config.awk @ 8042:9ba60ddafd2a

fix: remove duplicate config option. Had the same config setting twice in the structure.
author John Rouillard <rouilj@ieee.org>
date Tue, 25 Jun 2024 12:06:06 -0400
parents 8b5f8b950f58
children c3bf229d3d4b
comparison
equal deleted inserted replaced
8041:704757c71b84 8042:9ba60ddafd2a

Roundup Issue Tracker: http://roundup-tracker.org/