From bc1e43ea95b9455cdccee442db77bc5fafd3dcc6 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 26 May 2020 22:11:32 +0200
Subject: tests for kvx

---
 test/c/Results/qsort-mppa_k1c | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 test/c/Results/qsort-mppa_k1c

(limited to 'test/c/Results/qsort-mppa_k1c')

diff --git a/test/c/Results/qsort-mppa_k1c b/test/c/Results/qsort-mppa_k1c
deleted file mode 100644
index d86bac9d..00000000
--- a/test/c/Results/qsort-mppa_k1c
+++ /dev/null
@@ -1 +0,0 @@
-OK
-- 
cgit