diff options
| author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-07-31 19:55:28 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-07-31 19:55:28 +0200 |
| commit | 783810557ff05c3d52aedc03628df7b0d862948b (patch) | |
| tree | aedc1a9771391a998c52b0037fb3bfba687cbdfa /.gitignore | |
| parent | 372e2cf35074ee8347707e5e7ef73e092be5ca1e (diff) | |
CATCH: On errors, do not try to disestablish a dynamic context that hasn't been established yet.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions