Gaëtan Harter a3c7d26a7d
dist/tools/has_minimal_version: add tool to check minimal version
usage: has_minimal_version.sh <version> <minimal_version> [toolname]
      Checks that version >= minimal_version
      Version format MAJOR.MINOR.PATCH ex 3.1.4
2018-08-14 15:26:51 +02:00
..
2018-05-29 15:21:44 -07:00
2017-06-17 17:00:55 +02:00
2018-07-10 15:10:40 +02:00
2017-07-06 23:26:56 +02:00
2017-10-10 23:14:12 +02:00
2016-04-18 13:51:05 +02:00