summaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorMatthias Andreas Benkard <matthias@benkard.de>2008-06-24 16:17:17 +0200
committerMatthias Andreas Benkard <matthias@benkard.de>2008-06-24 16:17:17 +0200
commit6684d33bab073d267198ef7159cb627c2ecddc0a (patch)
tree61b29732ef0892dd0a62a0eac2fe3965ce8b7045 /GNUmakefile
parent2283b43f733d95fe1c95fd0b7b838a1d450b007a (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