K 10
svn:author
V 5
luigi
K 8
svn:date
V 27
2000-02-08T08:29:18.000000Z
K 7
svn:log
V 176
Add a new file to be included by the makefiles used by crunchgen
(this is a convenient place to put Make variables until we add a -D
option to crunchgen).

Approved-By: jordan

END