diff options
| -rw-r--r-- | docs/.classpath | 5 | ||||
| -rw-r--r-- | docs/.project | 17 |
2 files changed, 22 insertions, 0 deletions
diff --git a/docs/.classpath b/docs/.classpath new file mode 100644 index 000000000..6b2a02da9 --- /dev/null +++ b/docs/.classpath @@ -0,0 +1,5 @@ +<?xml version="1.0" encoding="UTF-8"?> +<classpath> + <classpathentry kind="var" path="JRE_LIB" rootpath="JRE_SRCROOT" sourcepath="JRE_SRC"/> + <classpathentry kind="output" path="bin"/> +</classpath> diff --git a/docs/.project b/docs/.project new file mode 100644 index 000000000..111e0fa7a --- /dev/null +++ b/docs/.project @@ -0,0 +1,17 @@ +<?xml version="1.0" encoding="UTF-8"?> +<projectDescription> + <name>docs</name> + <comment></comment> + <projects> + </projects> + <buildSpec> + <buildCommand> + <name>org.eclipse.jdt.core.javabuilder</name> + <arguments> + </arguments> + </buildCommand> + </buildSpec> + <natures> + <nature>org.eclipse.jdt.core.javanature</nature> + </natures> +</projectDescription> |