diff options
-rw-r--r-- | eclipse-platform-parent/pom.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/eclipse-platform-parent/pom.xml b/eclipse-platform-parent/pom.xml index 96f7af3e6..0fcd03205 100644 --- a/eclipse-platform-parent/pom.xml +++ b/eclipse-platform-parent/pom.xml @@ -474,6 +474,7 @@ <timestampProvider>jgit</timestampProvider> <jgit.ignore> pom.xml + .polyglot.build.properties </jgit.ignore> <jgit.dirtyWorkingTree>${jgit.dirtyWorkingTree-platformDefault}</jgit.dirtyWorkingTree> <sourceReferences> |