diff --git a/doc/.classpath b/doc/.classpath index ad5ae6f5a5..e8cbd7891d 100644 --- a/doc/.classpath +++ b/doc/.classpath @@ -5,13 +5,10 @@ - - -