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