如何彻底删除一个文件夹？

服务器问题
1

seafile里面有两个目录，目前不需要了，在客户端中将这个文件夹删了
同步后，服务器上这个文件夹也被删了
但是由于保留最近一次修改的镜像，导致服务器上其实还有已删除文件夹的备份，并没有释放空间
但是这个文件夹我不需要了想要彻底删除释放空间，找了半天也没找到如何删掉镜像

请问，需要如何操作？

另外，建议在历史里面，除了现有的查看镜像功能外，增加一个删除镜像的功能

2

请问解决了嘛，我也想删除镜像