From cc474e80b81115f06aa42e058ac697ebd5ad42dc Mon Sep 17 00:00:00 2001
From: Pieter Degroote <pieter-degroote@users.noreply.github.com>
Date: Sun, 14 Jul 2019 23:03:20 +0200
Subject: [PATCH 1/1] Delete dummy.txt

This 'dummy.txt' was only needed for the creation of the 'images' folder.
---
 docs/images/dummy.txt | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 docs/images/dummy.txt

diff --git a/docs/images/dummy.txt b/docs/images/dummy.txt
deleted file mode 100644
index 8b13789..0000000
--- a/docs/images/dummy.txt
+++ /dev/null
@@ -1 +0,0 @@
-
-- 
2.47.3