diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-03-30T09·01+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-03-30T09·01+0000 |
| commit | 4caca58ff7cc2edae110a11b9c47d14fea345eca (patch) | |
| tree | a6403abd47c267c63206ab728e2635a87c7344b2 /aterm-gc.supp | |
| parent | 17b506c0c7a927da1befc62100c5354e4b3147f6 (diff) | |
* Make the maximum patch size configurable.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions