diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2013-02-16 19:58:07 -0500 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2013-02-16 19:58:07 -0500 |
commit | 3e495881142c623d9099869dba1147b6ea5ebae5 (patch) | |
tree | b214a2ad56a9a9a108969dc9a748aea79b66b7d5 /.project | |
parent | 8f341b6dc401a780f4a84fd4c51063242e885149 (diff) |
decision/ : jh: refactor embedded ITE, other minor
other minor: cleanup some remaning fragments of GiveUpException(),
hopefully all is gone now.
Diffstat (limited to '.project')
0 files changed, 0 insertions, 0 deletions