diff --git a/Global/Eclipse.gitignore b/Global/Eclipse.gitignore index 1775ca2c..f3587944 100644 --- a/Global/Eclipse.gitignore +++ b/Global/Eclipse.gitignore @@ -25,3 +25,6 @@ local.properties # PDT-specific .buildpath + +# TeXlipse plugin +.texlipse