| commit | 83b89a49ef60e20a26a4d96a7606758de9192ed1 | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Tue Jun 07 11:52:57 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Tue Jun 07 19:23:51 2016 +0200 |
| tree | 80856d410ce2f37209ec993097cbb06779e24e8b | |
| parent | 87a254400e80fe0b03493cb894de0b673a7ecb69 [diff] |
text: remove a redundant undo element Implement its single use case by making better use of another element.