Index: tools/immic/lib/src/resources/java/immi/Patch.java |
diff --git a/tools/immic/lib/src/resources/java/immi/Patch.java b/tools/immic/lib/src/resources/java/immi/Patch.java |
deleted file mode 100644 |
index ca63edfc8d2fdd67ab54994ef0c32349feb1aa1e..0000000000000000000000000000000000000000 |
--- a/tools/immic/lib/src/resources/java/immi/Patch.java |
+++ /dev/null |
@@ -1,11 +0,0 @@ |
-// Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE.md file. |
- |
-// Generated file. Do not edit. |
- |
-package immi; |
- |
-public interface Patch { |
- boolean hasChanged(); |
-} |