From da20ea45c477a11aa62ba32c0089ff174be76406 Mon Sep 17 00:00:00 2001 From: Mike Pall Date: Thu, 25 Mar 2021 02:09:15 +0100 Subject: Upgrade docs to HTML5. It's about time. --- doc/ext_profiler.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/ext_profiler.html') diff --git a/doc/ext_profiler.html b/doc/ext_profiler.html index a2f9cab0..0e8d3691 100644 --- a/doc/ext_profiler.html +++ b/doc/ext_profiler.html @@ -1,8 +1,8 @@ - + Profiler - + -- cgit v1.2.3-55-g6feb