fixed bug #8351, in which install fails
commit8514c8d0025d2e86b1d1b88b627c9aebac1ff8ff
authorkevin <kevin>
Thu, 3 Apr 1997 06:07:01 +0000 (3 06:07 +0000)
committerkevin <kevin>
Thu, 3 Apr 1997 06:07:01 +0000 (3 06:07 +0000)
treeb4378cbf61f7d643f663c028dad4baa8024ee888
parent66a10c2f93427b450b209e9b2a00f6530fa62689
fixed bug #8351, in which install fails
debian/preinst