From 4df0f6c6f280d7a743d2172011b231b2dc51c97a Mon Sep 17 00:00:00 2001
From: Paul Verest <enide.github@gmail.com>
Date: Sat, 20 Jan 2018 02:51:04 +0800
Subject: [PATCH] change Eclipse project name for easier import

---
 AutoDerivPlugin/.project | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/AutoDerivPlugin/.project b/AutoDerivPlugin/.project
index 866dcc9..82460db 100644
--- a/AutoDerivPlugin/.project
+++ b/AutoDerivPlugin/.project
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <projectDescription>
-	<name>AutoDeriv</name>
+	<name>AutoDerivPlugin</name>
 	<comment></comment>
 	<projects>
 	</projects>