we sadly need this due to CVS synch; directories may not vanish
This commit is contained in:
parent
e5f5b09394
commit
fb1a410402
Loading…
Reference in a new issue