diff --git a/AutoDerivPlugin/.project b/AutoDerivPlugin/.project index 866dcc9..82460db 100644 --- a/AutoDerivPlugin/.project +++ b/AutoDerivPlugin/.project @@ -1,6 +1,6 @@ - AutoDeriv + AutoDerivPlugin