about summary refs log tree commit diff
path: root/AUTHORS
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-05-18T09·45+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-05-18T09·45+0000
commit1d08093b4894e4ded9eaf591a2547a74d33e1bfb (patch)
tree51e523c106e05ca4a55674d5ac8129b8204dd392 /AUTHORS
parent8e9fd57ef9aa47214418212916e54c5644721335 (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