Bad merge: missed a diamond
-rw-r--r-- 819 .checkstyle
-rw-r--r-- 665 .gitattributes
-rw-r--r-- 340 .gitignore
-rw-r--r-- 2462 CONTRIBUTING.md
-rw-r--r-- 6243 CONTRIBUTORS
-rw-r--r-- 126 INSTALL
-rw-r--r-- 92261 KEYS
-rw-r--r-- 15289 LICENSE
-rw-r--r-- 305 NOTICE
-rw-r--r-- 4119 README
-rw-r--r-- 12356 ReleaseInstructions
-rw-r--r-- 540 STATUS
-rw-r--r-- 244120 WHATSNEW
-rw-r--r-- 1237 ant.properties.sample
-rwxr-xr-x 4424 bootstrap.bat
-rwxr-xr-x 4766 bootstrap.sh
-rwxr-xr-x 1600 build.bat
-rwxr-xr-x 1930 build.sh
-rw-r--r-- 77659 build.xml
-rw-r--r-- 14439 check.xml
-rw-r--r-- 30787 contributors.xml
-rw-r--r-- 1799 docs.xml
-rw-r--r-- 12552 fetch.xml
-rw-r--r-- 4445 get-m2.xml
-rw-r--r-- 1826 launch-build.xml
drwxr-xr-x - lib
drwxr-xr-x - manual
-rw-r--r-- 1915 patch.xml
-rwxr-xr-x 2054 release.sh
drwxr-xr-x - release
drwxr-xr-x - src