patch 8.1.2022: the option.c file is too big
Problem: The option.c file is too big.
Solution: Move option definitions to a separate file. (Yegappan Lakshmanan,
closes #4918)
This commit is contained in:
Problem: The option.c file is too big.
Solution: Move option definitions to a separate file. (Yegappan Lakshmanan,
closes #4918)