tree 19dae54f466889fb56c2914ffd784727912fc27c
parent b858257ca698e2f7dd3004299ae91d3687ae1f1b
author José Fonseca <jfonseca@vmware.com> 1254844747 +0100
committer José Fonseca <jfonseca@vmware.com> 1255082897 +0100

progs: Remove unused empty file.