Add buildNumber.properties

The popular build plugin org.codehaus.mojo:buildnumber-maven-plugin stores the build number it managers in a file named buildNumber.properties.

diff --git a/Maven.gitignore b/Maven.gitignore
index d66c56555d390dcb1994eea69584e6196060c5d2..8fffe724af14d91839aa7465c53620fb8ff0a0b0 100644 (file)
--- a/Maven.gitignore
+++ b/Maven.gitignore
@@ -5,3 +5,4 @@ pom.xml.versionsBackup
 pom.xml.next
 release.properties
 dependency-reduced-pom.xml
+buildNumber.properties