diff options
| author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-06-24 16:17:17 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-06-24 16:17:17 +0200 |
| commit | 6684d33bab073d267198ef7159cb627c2ecddc0a (patch) | |
| tree | 61b29732ef0892dd0a62a0eac2fe3965ce8b7045 /GNUmakefile | |
| parent | 2283b43f733d95fe1c95fd0b7b838a1d450b007a (diff) | |
Make the read-eval-print loop more robust in the face of exceptions.
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions