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/pluginsopt.itarget | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/pluginsopt.itarget')

diff --git a/plugins/pluginsopt.itarget b/plugins/pluginsopt.itarget
index e44d7c1496..04a1e711cb 100644
--- a/plugins/pluginsopt.itarget
+++ b/plugins/pluginsopt.itarget
@@ -18,4 +18,4 @@ syntax/r_syntax_plugin.cmxa
 syntax/string_syntax_plugin.cmxa
 syntax/z_syntax_plugin.cmxa
 quote/quote_plugin.cmxa
-Derive/derive_plugin.cmxa
+derive/derive_plugin.cmxa
-- 
cgit v1.2.3