Andreas Jaeger 1450cbdf62 Update infra and specs indices ... Add missing entries. This also tests that publishing works again. Change-Id: I2b3b67332093e12a2f177e177715da9d9a9d00f1		2019-09-17 20:26:27 +02:00
..
generate_infra_index.py	Switch project-config to promote jobs [3]: Update building	2019-09-14 17:03:01 +02:00
infra-documents.yaml	Update infra and specs indices	2019-09-17 20:26:27 +02:00
infra-index.html.tmpl	Update infra-specs link	2019-05-30 20:51:31 +02:00