diff README @ 108121:273fb5620f24

* Makefile.in (LIBS_MACHINE): Remove, unused.
author Dan Nicolaescu <dann@ics.uci.edu>
date Mon, 26 Apr 2010 11:20:58 -0700
parents b4d27afff1bf
children b8fde5ef9e14
line wrap: on
line diff