From c13ab29ce94840fdd674df09c7d1be4a4d8ef810 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Wed, 30 Oct 2019 11:24:02 +0000
Subject: [PATCH] Fix package

Some files that were deleted previously were not removed from the
package. Now, compilation should work again.
---
 package.yaml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/package.yaml b/package.yaml
index 8a9db7d..e2da93f 100644
--- a/package.yaml
+++ b/package.yaml
@@ -8,7 +8,6 @@ copyright:           "2019 Author name here"
 
 extra-source-files:
 - README.md
-- ChangeLog.md
 
 # Metadata used when publishing your package
 # synopsis:            Short description of your package