From: Elias Fleckenstein <54945686+EliasFleckenstein03@users.noreply.github.com>
Date: Sat, 27 Nov 2021 19:29:35 +0000 (+0100)
Subject: Merge pull request #1 from Minetest-j45/master
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;p=autotool.git

Merge pull request #1 from Minetest-j45/master

Rename README to README.md and make autotool.select_best_tool return best_time
---

5b12ef348fcf39db8e0627c70fdab4d69004998d