diff options
author | Robert Alessi <alessi@robertalessi.net> | 2020-05-08 14:54:38 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2020-05-08 14:54:38 +0200 |
commit | 7122c0117c670647f6dceb7d0ae8a0c47f4bfc26 (patch) | |
tree | eb88767a2cbbab8db761bbb135d01ad49d7bfece /Makefile | |
parent | fad7802560f18b513e1ce052533148ddb84c7c00 (diff) | |
download | ekdosis-7122c0117c670647f6dceb7d0ae8a0c47f4bfc26.tar.gz |
added fourth element in envtotags to store user-defined closep. collect used depths in ekddivs and use max value in the following for-loop
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions