Jean-Marc Zucconi c2310184f9 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)		2000-07-02 22:45:55 +00:00
..
patch-aa
patch-ab
patch-ac
patch-ad