diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2018-03-18 17:36:33 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-18 17:36:33 +0000 |
| commit | 92612a9eab34432dd0a5fc1eb3075a47d35163fa (patch) | |
| tree | cc72385dae3228d8c92073e41e0cbaf56184f193 /ale_linters/c | |
| parent | 1b1e53ef6101e98ff34044a127758513dbf662e4 (diff) | |
| parent | 6320ce66742fd8bf73b8f77341669b2c1505c47d (diff) | |
| download | ale-92612a9eab34432dd0a5fc1eb3075a47d35163fa.zip | |
Merge pull request #1410 from fribmendes/frm/mix_format_options
Allow passing options to mix_format
Diffstat (limited to 'ale_linters/c')
0 files changed, 0 insertions, 0 deletions