diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2018-10-28 09:13:05 -0400 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2018-10-30 16:40:36 -0400 |
| commit | fa77aaa5ad21563dd18ce3e407d391d37ac8c201 (patch) | |
| tree | 5978dba3bef7b2caeb643e15c3343c6b67e5c1b4 /src/undo.h | |
| parent | 643b25d093a959b2176a7ace810a7d44267ca2e9 (diff) | |
doc: Add external interface consistency guarantees
Diffstat (limited to 'src/undo.h')
0 files changed, 0 insertions, 0 deletions