diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-11-07 20:12:18 +0100 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-11-07 20:12:18 +0100 |
| commit | 2b99d5f24d891b887338af863f78a84a7231a7c1 (patch) | |
| tree | a9084d9d786e38d27f588e62728bb27c3c18a2cb /Makefile | |
| parent | 99c8e92238986d00557ded56adc8495086d3c631 (diff) | |
simplified/cleaned up undo operations on value stack
* special undo tokens are private to the ValueStack class and automatically parameterized
* undo_push() and undo_pop() methods hide the internals of pushing the undo tokens
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions