Update Jetty to 9.4.20.v20190813
[egit/eclipse.git] / tools / 
treea5db49a727fa2a6d7c48b6c2ab8ab3441cc0e95f
drwxr-xr-x   ..
-rw-r--r-- 28523 eclipse-JGit-Format.xml
-rw-r--r-- 9581 egit-developer-tools.p2f
-rw-r--r-- 862 graft-old-history.sh
drwxr-xr-x - oomph
-rwxr-xr-x 779 release.sh
-rwxr-xr-x 4790 version.sh