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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions