]> git.tdb.fi Git - builder.git/commitdiff
Use priorities to determine the default toolchain
authorMikko Rasa <tdb@tdb.fi>
Mon, 26 Dec 2022 11:28:21 +0000 (13:28 +0200)
committerMikko Rasa <tdb@tdb.fi>
Mon, 26 Dec 2022 11:34:51 +0000 (13:34 +0200)

No differences found