From 79c42e22dd5106dcb85229ceec75331029ab5486 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Sat, 10 Jun 2017 16:13:54 +0200
Subject: Remove remaining vo.itarget files (obsolete since PR #499)

---
 plugins/setoid_ring/vo.itarget | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100644 plugins/setoid_ring/vo.itarget

(limited to 'plugins/setoid_ring')

diff --git a/plugins/setoid_ring/vo.itarget b/plugins/setoid_ring/vo.itarget
deleted file mode 100644
index 595ba55ec6..0000000000
--- a/plugins/setoid_ring/vo.itarget
+++ /dev/null
@@ -1,24 +0,0 @@
-ArithRing.vo
-BinList.vo
-Field_tac.vo
-Field_theory.vo
-Field.vo
-InitialRing.vo
-NArithRing.vo
-RealField.vo
-Ring_base.vo
-Ring_polynom.vo
-Ring_tac.vo
-Ring_theory.vo
-Ring.vo
-ZArithRing.vo
-Algebra_syntax.vo
-Cring.vo
-Ncring.vo
-Ncring_polynom.vo
-Ncring_initial.vo
-Ncring_tac.vo
-Rings_Z.vo
-Rings_R.vo
-Rings_Q.vo
-Integral_domain.vo
\ No newline at end of file
-- 
cgit v1.2.3