K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2020-10-22T12:46:48.420428Z
K 7
svn:log
V 151
Remove the empty files during the post-deinstall procedure, to give a chance a deinstall
process to remove entries on the said file and maybe empty it

END