diff options
| author | gingerBill <gingerBill@users.noreply.github.com> | 2018-10-17 15:29:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-17 15:29:56 +0100 |
| commit | efc3a9e69dd072b678a78535d7b5a5f71e474024 (patch) | |
| tree | 18d222737f9eacc6916eddde231ee04cbc4e6ecf /src/check_type.cpp | |
| parent | 307c58d9086ddfa2db9b18bfb8bb76f11b8dbc8c (diff) | |
| parent | ae02e9c34aa08b642fd6ca5465f988f8f1d98c60 (diff) | |
Merge pull request #274 from hazeycode/fix/245
Use name of source file as output_name
Diffstat (limited to 'src/check_type.cpp')
0 files changed, 0 insertions, 0 deletions