diff options
author | Eduardo Julian | 2017-10-20 19:09:34 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-10-20 19:09:34 -0400 |
commit | e9368bc5f75345c81bd7ded21e07a4436641821a (patch) | |
tree | 41b2dded0775543d28b433b8a5bd39eb08b5787e /new-luxc/source/luxc/analyser/procedure/common.lux | |
parent | eb770f4473a904285ea559279331a93cdb5b7ded (diff) |
- Replaced the "#seed" and "#times" options for "seed" and "times" test combinators.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions