summaryrefslogtreecommitdiff
path: root/tools/require_tool.sh
AgeCommit message (Expand)Author
2022-10-03chore(docs): fix some typos (#11211)George Rodrigues
2011-04-13Fix version parsing. Now working with command $ zsh --versionTristan Carel
2011-04-13New tool require_tool.shTristan Carel