diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-08 19:33:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-08 19:33:15 +0100 |
| commit | 299e490cf4c9cfd72a9e4f53effaa41bf5e0d7df (patch) | |
| tree | 1661970667f95cd42227545fa85bae1c764ea922 /thirdparty/misc | |
| parent | 05297d8b391c20d96f155b45347dd093fd6f26d9 (diff) | |
| parent | 6e932c31081597b5aec845987c2a386ff28d5cc9 (diff) | |
Merge pull request #15494 from brainsick/obsolete-undoredo-max-steps
obsolete UndoRedo max_steps; no users identified
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions