tools/version.sh: Update embedded version numbers in build products
tree48623cdbd8a8d8d310e5f2dee464c8a1726f5586
-rw-r--r-- 17 .gitattributes
-rw-r--r-- 1901 LICENSE
-rw-r--r-- 3676 README
-rw-r--r-- 3904 SUBMITTING_PATCHES
drwxr-xr-x - org.eclipse.jgit-feature
drwxr-xr-x - org.eclipse.jgit.console
drwxr-xr-x - org.eclipse.jgit.junit
drwxr-xr-x - org.eclipse.jgit.pgm
drwxr-xr-x - org.eclipse.jgit.test
drwxr-xr-x - org.eclipse.jgit.ui
drwxr-xr-x - org.eclipse.jgit
-rw-r--r-- 8675 pom.xml
drwxr-xr-x - tools