diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-05-18T09·45+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-05-18T09·45+0000 |
commit | 1d08093b4894e4ded9eaf591a2547a74d33e1bfb (patch) | |
tree | 51e523c106e05ca4a55674d5ac8129b8204dd392 /AUTHORS | |
parent | 8e9fd57ef9aa47214418212916e54c5644721335 (diff) |
* Go back to the old way of generating the system name, and allow it
to be specified in configure (using `--with-system=SYSTEM').
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions