diff options
| author | w0rp <devw0rp@gmail.com> | 2017-08-19 15:48:29 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-08-19 15:48:29 +0100 |
| commit | 20e64fbae092e7307c4f01d82fa0e0082c3bb1cb (patch) | |
| tree | 386644e3d48afbd9b8af8e8de4c100cb93df02e6 /doc/ale-idris.txt | |
| parent | f8de08faf0c23ac4b76e610f685dcf6c3dfdf180 (diff) | |
| download | ale-20e64fbae092e7307c4f01d82fa0e0082c3bb1cb.zip | |
#860 Only enable the new option for setting the original filename for SyntaxErl if an option is on in ALE
Diffstat (limited to 'doc/ale-idris.txt')
0 files changed, 0 insertions, 0 deletions