From dc51d487edc24f7c881456f659ce0d3f84802b05 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Thu, 19 Jul 2018 14:55:48 -0700 Subject: [PATCH] edit --- src/Benchmarks/sudoku-csolver | 1 - 1 file changed, 1 deletion(-) delete mode 160000 src/Benchmarks/sudoku-csolver 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 -- 2.34.1