From 47b2db20c3c0752f4406155d21164fcfd5122aa5 Mon Sep 17 00:00:00 2001
From: Olof Kindgren <olof.kindgren@gmail.com>
Date: Wed, 21 Nov 2018 13:33:54 +0100
Subject: [PATCH] Remove missing file from .core

---
 serv.core | 1 -
 1 file changed, 1 deletion(-)

diff --git a/serv.core b/serv.core
index 3feef49..c6ac8de 100644
--- a/serv.core
+++ b/serv.core
@@ -23,7 +23,6 @@ filesets:
   mem_files:
     files:
       - bitbang.hex  : {copyto : bitbang.hex}
-      - hellomin.hex : {copyto : hellomin.hex}
       - helloservice4000.hex : {copyto : helloservice4000.hex}
     file_type : user