diff options
| author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-03-15 14:03:16 +0100 |
|---|---|---|
| committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2016-04-25 22:19:27 +0200 |
| commit | c9ce2e30daed89d4fe1591cb52021fe7a84ef90f (patch) | |
| tree | 42816d248d72b8084f1affb276a824040a0da3a2 /clean.sh | |
| parent | 683eeb00d62121150e9e311822226bdddd932569 (diff) | |
Reenable pushing user defined tokens onto the stack (however, user defined tokens do not work yet) -- but if no tokens are defined, everything should work as before.
Diffstat (limited to 'clean.sh')
0 files changed, 0 insertions, 0 deletions