Update verdi branch after merging of CI folders#1637
Merged
sphuber merged 18 commits intoaiidateam:verdifrom sphuber:verdiJun 11, 2018
+795-148
Commits
Commits on May 30, 2018
- authored
- committed
- authored
Commits on May 31, 2018
- committedEspen Flage-Larsen
Commits on Jun 1, 2018
- committedEspen Flage-Larsen
- committedEspen Flage-Larsen
Commits on Jun 6, 2018
Commits on Jun 7, 2018
- committedEspen Flage-Larsen
- committedEspen Flage-Larsen
- authored
- authored
- authored
- authored
- authored