diff options
author | Chris Moore <dooglus@gmail.com> | 2016-02-25 19:15:17 -0800 |
---|---|---|
committer | Chris Moore <dooglus@gmail.com> | 2016-02-25 19:15:17 -0800 |
commit | 3d19193f14b9400f7c908a61375c330113571a38 (patch) | |
tree | 02d7e1d2eb7aa664c74aab383cf874e0fe1b58bb /src/undo.h | |
parent | 9de541a9c95a47c3f5c9e443a0ad3040b9791a2f (diff) |
Remove spurious dollar sign. Fixes #7189.
Diffstat (limited to 'src/undo.h')
0 files changed, 0 insertions, 0 deletions