]> git.donarmstrong.com Git - bin.git/search
delete the annot file if it has size 0