diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-02-16 10:47:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-16 10:47:51 +0100 |
| commit | f450edc78bd3dd4ad865b8d6f7f0f0b8afd01354 (patch) | |
| tree | e3d249aa653cb313fb7d601d5fe931af00ca0d91 /mk | |
| parent | 94992a919636fb9df4c7441dacbde08592e4494d (diff) | |
| parent | d82cf4a016aa0ee136ff62635e909607de78e02a (diff) | |
Merge pull request #6104 from rrbutani/master
Fix formatting for options with "machine-specific" defaults
Diffstat (limited to 'mk')
0 files changed, 0 insertions, 0 deletions