K 10
svn:author
V 3
jmz
K 8
svn:date
V 27
2000-07-02T22:45:55.000000Z
K 7
svn:log
V 195
Correct a mistake when I modified the port last week. Changes were relative
to the wrong distfile (there are 2 or 3 different versions of dviselect, but
the differences are essentially cosmetic)

END
