diff options
| author | Makarius Wenzel | 2009-11-29 16:45:46 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2009-11-29 16:45:46 +0000 |
| commit | 024b1b5c5063e70222342617042cb482126dfb08 (patch) | |
| tree | 566e47398aab7832a27ade60a3d00137202a55ad /doc/README.documentation | |
| parent | 894b4a2d13850f43dcc8c0eac815c1c51a67648d (diff) | |
raised proof-shell-quit-timeout to accomodate bulky write-back images;
Diffstat (limited to 'doc/README.documentation')
0 files changed, 0 insertions, 0 deletions