From: bdemsky <bdemsky@uci.edu>
Date: Thu, 19 Jul 2018 21:55:48 +0000 (-0700)
Subject: edit
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=dc51d487edc24f7c881456f659ce0d3f84802b05

edit
---

diff --git a/src/Benchmarks/sudoku-csolver b/src/Benchmarks/sudoku-csolver
deleted file mode 160000
index 58323cd..0000000
--- a/src/Benchmarks/sudoku-csolver
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 58323cd211ec80655e816fee228b1c9d975880cd