diff options
Diffstat (limited to '.project')
| -rw-r--r-- | .project | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/.project b/.project new file mode 100644 index 0000000..452dcbe --- /dev/null +++ b/.project @@ -0,0 +1,17 @@ +<?xml version="1.0" encoding="UTF-8"?> +<projectDescription> + <name>documentation-i08005-2</name> + <comment></comment> + <projects> + </projects> + <buildSpec> + <buildCommand> + <name>net.sourceforge.texlipse.builder.TexlipseBuilder</name> + <arguments> + </arguments> + </buildCommand> + </buildSpec> + <natures> + <nature>net.sourceforge.texlipse.builder.TexlipseNature</nature> + </natures> +</projectDescription> |