On 2014/10/16 15:08, Christopher Zimmermann wrote: > Thanks for the hints! So is the following diff OK?
yep. > Someone told me CVS will clean up the empty directories on its own, doesn't > it? It cleans them at checkout/update time as long as you use -p, there's no real way (short of messing with the repository) to remove them.