From 305c8dc1a8518388077c5f2d063f793a2c2e39da Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 1 Jun 2017 15:41:36 +0200
Subject: Fix coq_makefile uninstall target under OSX.

---
 test-suite/.csdp.cache | Bin 89077 -> 89077 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

(limited to 'test-suite')

diff --git a/test-suite/.csdp.cache b/test-suite/.csdp.cache
index ba85286dd3..b99d80e95f 100644
Binary files a/test-suite/.csdp.cache and b/test-suite/.csdp.cache differ
-- 
cgit v1.2.3