From: Hamed Gorjiara Date: Wed, 1 Aug 2018 00:42:22 +0000 (-0700) Subject: Updating the gitignore X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8606a2c124f20ca63e322cbe4a425e8fe8b193ca;p=Benchmarks_CSolver.git Updating the gitignore --- diff --git a/.gitignore b/.gitignore index b2461ad8..ad2688d7 100644 --- a/.gitignore +++ b/.gitignore @@ -4,7 +4,6 @@ # Other Benchmarks BlackBox/ decamouflage/ -hexiom/ flow_solver/ numberlink/ scratch/