tree 282efbe1908329b8de967dc0469e1bc9aa3929d4
parent bd0bd533dff6e987bd769cd69e6c02a7bf814888
author Ed Merks <ed.merks@gmail.com> 1637069515 +0100
committer Ed Merks <ed.merks@gmail.com> 1637069515 +0100

[Releng] Create an indexer to generate Temurim URLs

The generated results can be pasted into the Jenkins pipeline that is
for generating JREs.