random_check.sh refactoring
commit787510dedb41f02dabf42fdeb6c3236bba791d88
authorVojtech Horky <vojtechhorky@users.sourceforge.net>
Tue, 22 Apr 2014 06:54:29 +0000 (22 08:54 +0200)
committerVojtech Horky <vojtechhorky@users.sourceforge.net>
Tue, 22 Apr 2014 06:54:29 +0000 (22 08:54 +0200)
tree09a7e58f218db39a9661e08e180bb217363a74d5
parent170e181093fcf5fab695c42de96f5a70f8fab2dc
random_check.sh refactoring
contrib/tools/random_check.sh