From 96963ce9759fa1f9d5979f9dbee3aef9046b2172 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Benjamin=20Melan=C3=A7on?= <ben@agaric.com>
Date: Wed, 21 Aug 2019 16:59:51 -0400
Subject: [PATCH] For that matter, delete the .theme file

---
 web/themes/custom/geofresco/geofresco.theme | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 web/themes/custom/geofresco/geofresco.theme

diff --git a/web/themes/custom/geofresco/geofresco.theme b/web/themes/custom/geofresco/geofresco.theme
deleted file mode 100644
index a4abe2d..0000000
--- a/web/themes/custom/geofresco/geofresco.theme
+++ /dev/null
@@ -1,2 +0,0 @@
-<?php
-