diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-04-10 08:30:48 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-04-10 08:31:12 +0200 |
| commit | c8a13501196fc79a3f728683b74f9d586dda46c1 (patch) | |
| tree | daa0570926fca8f4eeedb9dc0f1f2fbddd4146b1 /src/undo.h | |
| parent | 4ac79f99b02e1d288dda353c15f4183180e538df (diff) | |
| parent | 48265f3cf4e62b6c6267b3e67c71a8780f2e2cc1 (diff) | |
Merge pull request #5991
48265f3 Revert mining changes in #5957 (Wladimir J. van der Laan)
Diffstat (limited to 'src/undo.h')
0 files changed, 0 insertions, 0 deletions