diff make-dist @ 109571:533c5aeb854f

* configure.in: Remove reference to usg5-4, unused.
author Dan Nicolaescu <dann@ics.uci.edu>
date Wed, 28 Jul 2010 20:41:28 -0700
parents 4f510fa72be2
children 8d976ea08d41
line wrap: on
line diff