3 commits

Author	SHA1	Message	Date
Timothee Cour	e94a3e5fcd	move prelude so that include std/prelude also works (#17110) ... * move prelude so that `include std/prelude` also works * add test	2021-02-20 18:08:13 +01:00
Federico Ceratto	39290cf88c	Fix spellings (#12277) [backport]	2019-09-27 07:02:54 +02:00
Andreas Rumpf	93749ea1fc	cleaned up heapdumprepl tool	2016-06-06 13:13:04 +02:00