From 7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sun, 10 May 2020 22:09:17 +0200 Subject: Add satellite case study --- .../plugin.xml | 26 ++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml new file mode 100644 index 00000000..fe1af62e --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml @@ -0,0 +1,26 @@ + + + + + + + + + + + + + + + + + + + + + + -- cgit v1.2.3-70-g09d2