Merge requests · Infrastructure / dune-website

[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
[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
Add news entry for dune-pdelab course 2020

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

!256 · created Feb 03, 2020 by Andreas Dedner
- Merged
updated Feb 03, 2020
Add participants that have not added themselves to the list

!255 · created Feb 03, 2020 by Dominic Kempf
- Merged
updated Feb 03, 2020
Bugfix: remove floating part around image

!253 · created Jan 21, 2020 by René Heß
- Merged
- 1
updated Jan 21, 2020
Add Nils to devmeeting 2020

!252 · created Jan 21, 2020 by Nils-Arne Dreier
- Merged
updated Jan 21, 2020
Feature/dune 2.7.0

!251 · created Jan 19, 2020 by Christoph Grüninger
- Merged
updated Jan 19, 2020
Correctly link to doxygen documentation from /releases

!250 · created Jan 17, 2020 by René Heß
- Merged
updated Jan 17, 2020
Make sure that the dev meeting shows under news

!249 · created Jan 17, 2020 by René Heß
- Merged
updated Jan 17, 2020
Add Dominic

!248 · created Jan 16, 2020 by Dominic Kempf
- Merged
updated Jan 16, 2020
Add L. Hinrichsen to 2020 dev meeting

!247 · created Jan 16, 2020 by Lasse Hinrichsen-Bischoff
- Merged
updated Jan 16, 2020
devmeeting 2020 participation

!246 · created Jan 14, 2020 by Linus Seelinger
- Merged
updated Jan 14, 2020
Feature/add gruech to devmeeting2020

!245 · created Jan 13, 2020 by Christoph Grüninger
- Merged
updated Jan 13, 2020
Update 2020-02-devmeeting.md

!244 · created Jan 13, 2020 by Jö Fahlke
- Merged
updated Jan 13, 2020