diff options
| author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-05-06 11:01:26 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-05-08 08:16:01 +0000 |
| commit | d75418c2884e704cad16f4a354de973cb9208cc8 (patch) | |
| tree | a51c4433b0a3d4288a337d32db9a08cba849b67b /.gitignore | |
| parent | 846f0a7eb5e6a7e47731247aa58686475dcde9b2 (diff) | |
| download | rumba-d75418c2884e704cad16f4a354de973cb9208cc8.tar.gz rumba-d75418c2884e704cad16f4a354de973cb9208cc8.zip | |
testbeds: Add support for Instageni
This adds support for some Instageni testbeds. Also fixes a bug where
putting an unknown authority would lead to an error saying there was
no authority specified.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions