diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-04T16·51+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-04T16·51+0000 |
| commit | 9ac3f5df9c29e35b38539c3dca753eacc9b1393d (patch) | |
| tree | e35e0e6b14b6aa56f9e21e748adc2f8806c93af5 /aterm-gc.supp | |
| parent | bcfe98acffbefea734f51523b386868ae443c111 (diff) | |
* Propagate --max-silent-time to remote machines.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions