diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2013-02-14 02:57:54 +0100 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2013-02-14 05:21:25 +0100 |
| commit | 17c62e3d58a6f8cc301be10060f772f10ab4466c (patch) | |
| tree | d38ed4896b9d9f0d6e596b009248b25ecaeafd08 /src/cmdline.h | |
| parent | 9cd71e16b30e2f0061a6d74421a5357333721a70 (diff) | |
undo tokens for changing an object pointer
will care about the eventual deletion of the object
Diffstat (limited to 'src/cmdline.h')
0 files changed, 0 insertions, 0 deletions