Skip to content

Commit ab0a789

Browse files
committed
patch 8.1.1716: old style comments are wasting space
Problem: Old style comments are wasting space Solution: Use new style comments in option header file.
1 parent 06e6377 commit ab0a789

2 files changed

Lines changed: 472 additions & 470 deletions

File tree

0 commit comments

Comments
 (0)