Closed fchapoton closed 2 years ago
I'm about to approve this, but in general it's not worth cleaning up stuff in dev/
, since its mostly just around for historical record and also not doctested (and hence a slight chance of the cleanup causing a regression).
mostly code formatting but also