Easier random-checking of supported configurations
commit3b065c910c94ce4ab22d45d77bb2db63ebe7151c
authorVojtech Horky <vojtechhorky@users.sourceforge.net>
Thu, 24 Apr 2014 07:56:12 +0000 (24 09:56 +0200)
committerVojtech Horky <vojtechhorky@users.sourceforge.net>
Thu, 24 Apr 2014 07:56:12 +0000 (24 09:56 +0200)
tree081db24e5c41ad1e2e398cb115de767e53d3ef51
parente36a1c2b1bd621aa00e4cca44a8c67a5736b2cf2
Easier random-checking of supported configurations
contrib/tools/random_check.sh