aboutsummaryrefslogtreecommitdiff
path: root/plugins/pluginsvo.itarget
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/pluginsvo.itarget')
-rw-r--r--plugins/pluginsvo.itarget2
1 files changed, 1 insertions, 1 deletions
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