From 48b83f69fba64f2846651ad470269cc01ad7fd65 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 26 Nov 2020 13:55:37 +0100 Subject: Fix Z3 dependency --- Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/lib/.gitignore | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/lib/.gitignore (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/lib/.gitignore') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/lib/.gitignore b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/lib/.gitignore deleted file mode 100644 index e69de29b..00000000 -- cgit v1.2.3-54-g00ecf