From 0c07923a26783e57f9d4e755d6c81e31efd31d1c Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 9 Mar 2015 16:23:08 +0100
Subject: remove undo files

---
 mathcomp/.all.v.un~ | Bin 3134 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 mathcomp/.all.v.un~

(limited to 'mathcomp')

diff --git a/mathcomp/.all.v.un~ b/mathcomp/.all.v.un~
deleted file mode 100644
index 7dc2b13..0000000
Binary files a/mathcomp/.all.v.un~ and /dev/null differ
-- 
cgit v1.2.3