diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2019-07-30 08:21:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-30 08:21:21 +0100 |
| commit | 8f5ecf01200f82d12d452992a92c23fcf9e0f0e8 (patch) | |
| tree | da780f21863dbea58b818dbceb514893954ce1ca /ale_linters/dafny | |
| parent | d1c56769b750a14a51c16cc7973ab0af15aa0cbf (diff) | |
| parent | d25711a51686d45a2406c81163c144aeffda7033 (diff) | |
| download | ale-8f5ecf01200f82d12d452992a92c23fcf9e0f0e8.zip | |
Merge pull request #2646 from paulreimer/fixer-clangformat-use-assume-filename
Set --assume-filename for clangformat fixer
Diffstat (limited to 'ale_linters/dafny')
0 files changed, 0 insertions, 0 deletions