On Wed, Mar 10, 2021 at 12:16:17PM +0100, Alexander Burger wrote: > Hmm, another idea: I could rename the files, and plant symbolic links from the > old ones. Then, after a few years, the links can be removed ...
Done. ☺/ A!ex -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe
