diff README @ 108122:b355e81f13c1

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