remove tools/

asksandipd · Nov 30, 2015 · 80a12cb · 80a12cb
1 parent 450d46f
commit 80a12cb
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 167 deletions.
diff --git a/tools/sancov/.gitignore b/tools/sancov/.gitignore
diff --git a/tools/sancov/README.md b/tools/sancov/README.md
diff --git a/tools/sancov/data1_64.sancov b/tools/sancov/data1_64.sancov
diff --git a/tools/sancov/sancov.go b/tools/sancov/sancov.go
diff --git a/tools/sancov/sancov_test.go b/tools/sancov/sancov_test.go