Makefile.inc revision 4485
1# $Id: Makefile.inc,v 1.1 1994/08/07 19:04:10 wollman Exp $ 2 3DISTRIBUTION=des 4
1# $Id: Makefile.inc,v 1.1 1994/08/07 19:04:10 wollman Exp $ 2 3DISTRIBUTION=des 4