lib/scripts/patch-scripts.bash
1997-04-25 wenzelm 1997-04-25 no longer forces default;
1997-03-07 wenzelm 1997-03-07 tuned comments;
1997-03-07 wenzelm 1997-03-07 tuned comment;
1997-02-17 wenzelm 1997-02-17 file moved here;