| commit | b4737072a68593479d100caf4be3ea110b94511f | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Tue Jul 12 09:24:32 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Tue Jul 12 09:24:32 2016 +0200 |
| tree | e5c703dd6b5b97be0a60381bfc3668d559e5901e | |
| parent | 8507dd4bd0dcc3230927abb070be3b5268b3acd4 [diff] |
tweaks: delete an element that is always FALSE and never used