diff options
| author | Sander Vrijders <sander.vrijders@ugent.be> | 2018-02-12 18:36:07 +0100 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-02-13 09:17:47 +0100 |
| commit | f075b0b6f69f1bae3735eb8560b8f571c708aafd (patch) | |
| tree | 22742b579ab98103d58aeed85a4135a1c41979d7 /tools | |
| parent | 25bd117a9ce2bb4365743848d3c8742e3deb8afa (diff) | |
| download | rumba-f075b0b6f69f1bae3735eb8560b8f571c708aafd.tar.gz rumba-f075b0b6f69f1bae3735eb8560b8f571c708aafd.zip | |
prototypes: Add option to choose git repo and branch
This adds two extra parameters to the Experiment class, so that users
can specify their custom repositories and branches for testing new
features.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions