improved distr entry
authorceriel <none@none>
Mon, 27 Jun 1988 14:52:18 +0000 (14:52 +0000)
committerceriel <none@none>
Mon, 27 Jun 1988 14:52:18 +0000 (14:52 +0000)
commit3b32a799979056530c40dd309657d69870451f76
tree617a71d6a81ae8a309eaf4f570678ed44b5bf6a5
parent15cf9129499f5484e9e21fa6c935434623544858
improved distr entry
util/int/Makefile