Commit 3861e60b authored by Carsten Gräser's avatar Carsten Gräser

[!119] [cleanup] Remove some very old code

Merge branch 'feature/remove-old-code' into 'master'

ref:core/dune-localfunctions This was commented out using `#if 0 // OLD OLD`
nine years ago. It seems that it's now aged enough to be removed.

See merge request [!119]

parents 626c1b70 46482310
Pipeline #17266 passed with stage
in 10 minutes and 46 seconds