Andreas Jaeger 0dc670ec5a Change git to opendev.org URLs ... Use the new opendev.org URLs instead of the obsolete git.zuul-ci ones. Change-Id: I769d24668209e09ffd76505f14bbed653808779e		2019-06-27 11:04:30 +02:00
..
index.html	Change git to opendev.org URLs	2019-06-27 11:04:30 +02:00