From 3929b0fe2a7678b31f8971c9b9eb4536330f6c80 Mon Sep 17 00:00:00 2001
From: ulrich
Date: Wed, 14 Apr 2021 16:26:58 +0000
Subject: [PATCH] Entitaet Geraet hinzugenommen, Aenderungen an Menues und UI
---
src/de/uhilger/mediaz/store/Storage.java | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/de/uhilger/mediaz/store/Storage.java b/src/de/uhilger/mediaz/store/Storage.java
index 7a1803e..3f63bc8 100644
--- a/src/de/uhilger/mediaz/store/Storage.java
+++ b/src/de/uhilger/mediaz/store/Storage.java
@@ -102,4 +102,6 @@
* @return true, wenn geloeschn, false wenn nicht
*/
public boolean delete(String typ, String name);
+
+ public boolean exists(String typ, String name);
}
--
Gitblit v1.9.3