q3k 2df7685b46 devtools/gerrit: remove tools/eclipse, which breaks global build ... Change-Id: Ie7e8faa6c80a0a4b75bd0bae7da225c4f607ce18		2021-02-14 14:45:37 +00:00
..
gerrit-oauth-provider	devtools/gerrit: remove tools/eclipse, which breaks global build	2021-02-14 14:45:37 +00:00
kube	gerrit: integrate with b.hackerspace.pl	2021-02-08 15:10:14 +00:00
BUILD	gerrit: deploy 3.3.0	2020-12-17 23:32:30 +01:00
entrypoint.sh	app/{gerrit,bazel-cache} -> devtools/	2019-07-21 16:40:33 +02:00