-
Liam M. Healy authored
Added an argument to #'copy-to for the element type, defaulting to *default-element-type*, with discouraging words for its use in files (vs. interactively) unless all arguments are supplied, due to the specials used that could be changed with unexpected results. Change uses of #'copy-to to #'copy because the element type needs to clearly follow the latter function's rules.
f367a9c4