diff options
| author | w0rp <devw0rp@gmail.com> | 2018-04-15 12:25:15 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-04-15 12:25:15 +0100 |
| commit | fb720251bf38139c1811665852e1bc2f73d0393f (patch) | |
| tree | c8dc084d5f6629ae3739379efdbabd9e2654166e /doc/ale-idris.txt | |
| parent | 60917c900560e92b299ef3443f083334c0e8adcf (diff) | |
| download | ale-fb720251bf38139c1811665852e1bc2f73d0393f.zip | |
Close #1504 - Add an option for removing --respect-pragma for flow
Diffstat (limited to 'doc/ale-idris.txt')
0 files changed, 0 insertions, 0 deletions