search

dune-community / dune-xt-common

Other
2 stars 3 forks source link

[WIP] releases/2.4 #27

Closed ftalbrecht closed 7 years ago

ftalbrecht commented 7 years ago

I would like to use this pr for ci, not meant to be merged!

ftalbrecht commented 7 years ago

No time to finish this, leaving releases/2.4 branch as it is. Reopen if someone wants to finish this...