commit 81c815d59046219af9f2b9f70f4c452bf220abf3 Author: Pino Toscano <pino at kde.org> Date: Fri Jul 12 05:22:22 2019 +0200 GIT_SILENT remove spurious empty file diff --git a/a.out b/a.out deleted file mode 100644 index e69de29..0000000