2 commits

Author	SHA1	Message	Date
Miran	e7f280bd26	Remove deprecated stuff from stdlib (#14699) ... * update to the latest Jester * remove deprecated procs from some stdlib modules * 'criterion' is not maintained anymore and relies on obsolete stuff	2020-06-17 15:25:02 +02:00
Timothee Cour	b5448bf25c	fix #9647 tmpl=>nimf (#9658)	2018-11-14 08:27:48 +01:00

Renamed from tools/website.tmpl (Browse further)