Merge requests · Infrastructure / dune-website

Update 2020-02-devmeeting.md

!281 · created Feb 13, 2020 by Santiago Ospina De Los Ríos
- Merged
updated Feb 13, 2020
Update people.md

!280 · created Feb 13, 2020 by Christian Engwer
- Merged
updated Feb 13, 2020
links to Christian

!279 · created Feb 13, 2020 by Christian Engwer
- Merged
updated Feb 13, 2020
Merge the 'extension' and 'user' section of the module description

!278 · created Feb 13, 2020 by Oliver Sander
- Merged
updated Feb 13, 2020
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
devmeeting 2020 update2

!274 · created Feb 12, 2020 by Simon Praetorius
- Merged
updated Feb 12, 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
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
[dune-mmesh] Add dune-mmesh module.

!254 · created Jan 21, 2020 by Samuel Burbulla
- 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