Development (!225) · Merge requests · EIP / Labrador / Queue · GitLab

Snippets Groups Projects

Dec 16, 2019
- Merge branch 'changelog-rename' into 'development' · 7db31f1b
  Otto Visser authored Dec 16, 2019
  
  Rename changelog changelog.md for easy rendering in GitLab See merge request !224
  7db31f1b
- Rename changelog changelog.md for easy rendering in GitLab · 3a9d8178
  Otto Visser authored Dec 16, 2019
  
  Signed-off-by: Otto Visser <O.W.Visser@tudelft.nl>
  Verified
  
  3a9d8178