Merge requests · Infrastructure / dune-website

Update 2020-02-devmeeting.md

!277 · created Feb 13, 2020 by Santiago Ospina De Los Ríos
- Merged
updated Feb 13, 2020
devmeeting protocol update

!276 · created Feb 12, 2020 by Simon Praetorius
- Merged
updated Feb 13, 2020
meeting 2020: add c++17 restrictions

!275 · created Feb 12, 2020 by Christoph Grüninger
- Closed
updated Feb 12, 2020
devmeeting 2020 update2

!274 · created Feb 12, 2020 by Simon Praetorius
- Merged
updated Feb 12, 2020
Added Simon Praetorius to list of core developers

!273 · created Feb 12, 2020 by Simon Praetorius
- Merged
- 1
updated Feb 12, 2020
Dune Meeting: Wednesday morning

!272 · created Feb 12, 2020 by Jö Fahlke
- Merged
updated Feb 12, 2020
Update 2020-02-devmeeting.md

!271 · created Feb 12, 2020 by Jö Fahlke
- Merged
- 1
updated Feb 12, 2020
Update 2020-02-devmeeting.md

!270 · created Feb 12, 2020 by René Heß
- Merged
updated Feb 12, 2020
Update 2020-02-devmeeting.md

!269 · created Feb 10, 2020 by Jö Fahlke
- Merged
updated Feb 10, 2020
Update 2020-02-devmeeting.md

!268 · created Feb 10, 2020 by Christian Engwer
- Merged
updated Feb 10, 2020
Update 2020-02-devmeeting.md

!267 · created Feb 10, 2020 by Christian Engwer
- Merged
updated Feb 10, 2020
Update 2020-02-devmeeting.md

!266 · created Feb 10, 2020 by Christian Engwer
- Merged
updated Feb 10, 2020
Update 2020-02-devmeeting.md

!265 · created Feb 10, 2020 by Robert K
- Merged
updated Feb 10, 2020
fix build status badges... gitlab changed the naming scheme

!264 · created Feb 10, 2020 by Christian Engwer
- Merged
updated Feb 10, 2020
add some meeting notes I forgot commit...

!263 · created Feb 10, 2020 by Christian Engwer
- Merged
updated Feb 10, 2020
[dev metting 2020] Add more topics and some opinions

!262 · created Feb 09, 2020 by Christoph Grüninger
- Merged
updated Feb 09, 2020
Update 2020-02-devmeeting.md

!261 · created Feb 07, 2020 by Robert K
- Merged
updated Feb 07, 2020
Update 2020-02-devmeeting.md

!260 · created Feb 07, 2020 by Robert K
- Merged
updated Feb 07, 2020
Updates to 2020-02-devmeeting.md from Oliver

!259 · created Feb 06, 2020 by Markus Blatt
- Merged
updated Feb 06, 2020
Explicitly name people Core developers, introduce retired alumni section

!258 · created Feb 05, 2020 by Christoph Grüninger
- Merged
- 4
updated Feb 12, 2020