commit | 87a254400e80fe0b03493cb894de0b673a7ecb69 | [log] [tgz] |
---|---|---|
author | Benno Schulenberg <bensberg@justemail.net> | Tue Jun 07 11:10:56 2016 +0200 |
committer | Benno Schulenberg <bensberg@justemail.net> | Tue Jun 07 19:23:51 2016 +0200 |
tree | abc05df94ac51a85019269c08833181a23f0f62e | |
parent | 9192b7fe8c121661db803cd96146e823920acda0 [diff] |
text: remove a pointless setting of an undo element; it is never used