diff options
| author | Florian Jung <flo@windfisch.org> | 2013-08-11 18:20:46 +0200 |
|---|---|---|
| committer | Florian Jung <flo@windfisch.org> | 2013-08-11 19:05:52 +0200 |
| commit | b3dfa3d035c3860a1007d4c0bd54a45245f6a70f (patch) | |
| tree | c4965d378b7c76e6f71fc9cf42018dadbe7a0990 /.gitignore | |
| parent | 51435dcddf4cd752ff6200fd28c220ffc7b60743 (diff) | |
assertions for UndoOp ctors
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions