diff options
| author | Florian Jung <flo@windfisch.org> | 2011-09-28 15:56:24 +0000 |
|---|---|---|
| committer | Florian Jung <flo@windfisch.org> | 2011-09-28 15:56:24 +0000 |
| commit | 53a46fee00aa9256144c8cb71bc8e71444f339a8 (patch) | |
| tree | 34a3bb00525784b1d9e93b572174e3a507ac586c /muse2/man | |
| parent | 56417f8e86e19d459a86f31a41a494f4a9e813a1 (diff) | |
Undo::empty() also returns empty if the list only contains DoNothings
removed unused, unimplemented function
Diffstat (limited to 'muse2/man')
0 files changed, 0 insertions, 0 deletions