diff options
| author | w0rp <devw0rp@gmail.com> | 2017-12-07 18:47:01 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-12-07 18:47:01 +0000 |
| commit | 63ecc8341d308c63781e4f7f81347858777d8c89 (patch) | |
| tree | da22e771c4114dbf746f6d0664e382d7459411d5 /doc/ale.txt | |
| parent | 0e57ca3df3af3f13dc4cad6ade6428b9896466c1 (diff) | |
| download | ale-63ecc8341d308c63781e4f7f81347858777d8c89.zip | |
Fix #1202 - Do not use --all-targets by default, because it doesn't work some of the time.
Diffstat (limited to 'doc/ale.txt')
0 files changed, 0 insertions, 0 deletions