commit | 6921bddc5ffa91cb0ad348b99354ed6c6c600340 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue Jul 11 23:34:54 2023 +0200 |
committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue Jul 11 23:34:54 2023 +0200 |
tree | caa00283933dcf46a6153f137f5d353e1410af5c | |
parent | b86cce903733c410c9695276a8552303c4caa897 [diff] |
Minor code optimization