diff options
| author | w0rp <devw0rp@gmail.com> | 2016-10-04 23:00:15 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2016-10-04 23:00:15 +0100 |
| commit | 0f96b61825210b514b33031ce7c4825922e4a5b8 (patch) | |
| tree | 5e6eb81b5ae6ce5896b29dee4e4de1e15f45e1b7 /README.md | |
| parent | b99cba7b0c8a31724f968519c7efa6d6033e939a (diff) | |
| download | ale-0f96b61825210b514b33031ce7c4825922e4a5b8.zip | |
Fix a bug with loading the wrong user option for warning signs.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions