summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMatthias Andreas Benkard <matthias@benkard.de>2008-07-02 18:04:14 +0200
committerMatthias Andreas Benkard <matthias@benkard.de>2008-07-02 18:04:14 +0200
commit697e27d004afaaa55792741cbab55b75f24156b9 (patch)
treee4e8dbe34fcbb913793d064d87eb6b8f87922249 /.gitignore
parenta579f93456607eae5d6bdaef32befbfd80bf5d59 (diff)
Interpreter: Implement UNWIND-PROTECT.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions