]> git.lizzy.rs Git - autotool.git/commitdiff
Merge pull request #1 from Minetest-j45/master master
authorElias Fleckenstein <54945686+EliasFleckenstein03@users.noreply.github.com>
Sat, 27 Nov 2021 19:29:35 +0000 (20:29 +0100)
committerGitHub <noreply@github.com>
Sat, 27 Nov 2021 19:29:35 +0000 (20:29 +0100)
Rename README to README.md and make autotool.select_best_tool return best_time


Trivial merge