diff options
| author | w0rp <devw0rp@gmail.com> | 2020-08-29 16:05:49 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2020-08-29 16:05:49 +0100 |
| commit | 7e0cdb53ecf9c94bb8777a57de8bf2aacca46b5d (patch) | |
| tree | ed3a73c3128f80dd96e5f9409a64fdb1c4183226 /doc/ale-ada.txt | |
| parent | bc3a843e102d4490b2476b53531807ab624417e7 (diff) | |
| download | ale-7e0cdb53ecf9c94bb8777a57de8bf2aacca46b5d.zip | |
Fix #3247 - Use --always-make for make -n by default
Diffstat (limited to 'doc/ale-ada.txt')
0 files changed, 0 insertions, 0 deletions