| commit | de36e1c120d0ff5a0bf1b00a91a19cd0eff19858 | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Tue Jan 17 12:33:46 2017 +0100 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Thu Feb 16 13:27:09 2017 +0100 |
| tree | 97cad00fc1ad8438f0002d2356300ce73a93bf81 | |
| parent | a8c1dc1402efd9bc06fa5217acf5fb99b9ae1063 [diff] |
tweaks: rename a variable, to be more general