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