diff options
| author | Paweł Redman <pawel.redman@gmail.com> | 2018-11-17 14:51:00 +0100 |
|---|---|---|
| committer | Paweł Redman <pawel.redman@gmail.com> | 2018-11-17 14:52:39 +0100 |
| commit | b613d50e14af12d5e882fcdab32b67a794dd0a04 (patch) | |
| tree | e733a1b5dff1f55095b427fa2d44999eb9f835bb /GNUmakefile | |
| parent | 2e45a9465849af6bb0a56c33a9723e7d98d806ad (diff) | |
Adjust antistack parameters a bit.
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions