From 4c34e22d23197ca6b03827a24e9339f88f82df5f Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 28 Aug 2019 05:56:34 -0400 Subject: VAMPIRE: integrate local Vampire executeable #32 --- .../bin/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/.gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/bin/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/.gitignore (limited to 'Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/bin/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/.gitignore') diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/bin/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/.gitignore b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/bin/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/.gitignore new file mode 100644 index 00000000..b5da4aad --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/bin/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/.gitignore @@ -0,0 +1 @@ +/.CSERposterSample.java._trace -- cgit v1.2.3-70-g09d2