mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-05 11:35:01 +00:00
cc9df479e9
xvile port to be deleted without impacting the vile port. Make sure that empty directories are deleted. Submitted by: partly by bento