From 7ab54d9135d4a4604bcb11dabd38842d746d5472 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Sun, 11 Jan 2015 18:44:35 +0100
Subject: Derive -> derive occurences

---
 plugins/pluginsvo.itarget | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/pluginsvo.itarget')

diff --git a/plugins/pluginsvo.itarget b/plugins/pluginsvo.itarget
index 0a9e468ecb..a59bf29c98 100644
--- a/plugins/pluginsvo.itarget
+++ b/plugins/pluginsvo.itarget
@@ -9,4 +9,4 @@ romega/vo.otarget
 rtauto/vo.otarget
 setoid_ring/vo.otarget
 extraction/vo.otarget
-Derive/vo.otarget
\ No newline at end of file
+derive/vo.otarget
\ No newline at end of file
-- 
cgit v1.2.3