| commit | f04fa7259d2404a1b262b13c7ed8bb0884a22887 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Apr 10 14:51:14 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Apr 10 14:51:14 1996 +0000 |
| tree | 394b43b92cbafe0986b509bc157dc216b1e153e4 | |
| parent | 3422f2cae26104202ebee4fd4a768411dff67dcd [diff] |
Changed to allow the user to do partial builds