diff options
| author | Josh Reichardt <josh.reichardt@gmail.com> | 2019-10-04 10:48:06 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-04 10:48:06 -0700 |
| commit | b96574e5b5f54be44dc806a7fe41644a46246628 (patch) | |
| tree | 92c819d5235e08c80b9ef19064c817c082e6ac0c /ale_linters/idris | |
| parent | a486aa1d24294c5b14c8b2763a3b5ffdc39d0739 (diff) | |
| download | ale-b96574e5b5f54be44dc806a7fe41644a46246628.zip | |
Fix Powershell emoji
Diffstat (limited to 'ale_linters/idris')
0 files changed, 0 insertions, 0 deletions