diff etc/compilation.txt @ 87738:8da4f8bf7244

* configure.in: Remove more references to unsupported systems. * m/sequent-ptx.h: * m/sequent.h: * s/ptx.h: * s/ptx4-2.h: * s/ptx4.h: Remove files for systems no longer supported.
author Dan Nicolaescu <dann@ics.uci.edu>
date Sun, 13 Jan 2008 18:29:53 +0000
parents 107ccd98fa12
children 606f2d163a64 16e08abf25d2
line wrap: on
line diff