diff options
| author |  Noah Eisen <ncteisen@gmail.com> | 2018-06-19 17:41:07 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-06-19 17:41:07 -0700 |
| commit | d07a5ff3ea32cc491e16e50e0e3bf227bb04eeaf (patch) | |
| tree | fa69974eaf3c7cd1331d585c13a0068a89a64c5e /config.w32 | |
| parent | d8772cf88f3a910160349eb21950dcd9619d1b6a (diff) | |
| parent | 76283c4e572cf39fe9ce7f38495f831133720365 (diff) | |
Merge pull request #15810 from ncteisen/sanity
Fix Sanity
Diffstat (limited to 'config.w32')
0 files changed, 0 insertions, 0 deletions