zeertzjq 8ca29b6a35 patch 9.0.0176: checking character options is duplicated and incomplete ...

Problem:    Checking character options is duplicated and incomplete.
Solution:   Move checking to check_chars_options(). (closes #10863)

2022-08-09 12:53:14 +01:00

127 KiB

Raw Blame History

View Raw