Andreas Jaeger 7350b16f56 Update tools/www-generator.py for repo renames
A couple of repos have been renamed, adopt our script to tread
them correctly.

Change-Id: I1854659bfd7eb2b9a4a3109a3262fe0fe00f3955
2019-06-01 09:35:16 +02:00
..
2018-11-29 15:33:43 -06:00
2016-05-02 09:20:30 +02:00
2017-08-25 18:56:14 -04:00