sanderd17 1e6c12de7b Allow variants to be defined in external files. Fixes #3286 ...

This was SVN commit r18054.

2016-04-19 07:51:59 +00:00

..

generate_rngs.sh

…

validate.pl

…