diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-03-01 14:02:30 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-03-01 14:02:30 +0100 |
| commit | f4ce758d6827266de0fef72463576cc754634bef (patch) | |
| tree | 8ce0abd7809125160048c306664c530e807ba033 /NEWS | |
| parent | 13eed90b733553ae6df8e1af51ef410d8f92b364 (diff) | |
scope minimization, more consistent naming of variables
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions