diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-11-26 13:55:37 +0100 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-11-26 13:55:37 +0100 |
commit | 48b83f69fba64f2846651ad470269cc01ad7fd65 (patch) | |
tree | bce325b21d5183951e1fa83c96870b375ee4d92f /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/lib/.gitignore | |
parent | Optimizing generator with linear objective functions (diff) | |
download | VIATRA-Generator-48b83f69fba64f2846651ad470269cc01ad7fd65.tar.gz VIATRA-Generator-48b83f69fba64f2846651ad470269cc01ad7fd65.tar.zst VIATRA-Generator-48b83f69fba64f2846651ad470269cc01ad7fd65.zip |
Fix Z3 dependency
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/lib/.gitignore')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/lib/.gitignore | 0 |
1 files changed, 0 insertions, 0 deletions
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 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/lib/.gitignore +++ /dev/null | |||