diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2013-07-19 01:40:46 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2013-07-19 01:40:46 +0200 |
| commit | 11522cc08df31d492c307ae207e7c9ee0f62d8c0 (patch) | |
| tree | 991ca40e99a6a7c9ea811c3f2dc7048f6ea590a6 /TODO.org | |
| parent | 9555b086f94fb9c7ef53bdb8f386c9ac54c092d9 (diff) | |
MAYBE-CLOSES-OVER-P: Be tolerant towards errors raised by SB-WALKER.
Diffstat (limited to 'TODO.org')
0 files changed, 0 insertions, 0 deletions