From dc313e01abc4b40f670390942c910b00b7cc7f2e Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Tue, 12 Jan 2021 20:20:53 +0000 Subject: [PATCH] shape library style slightly Signed-off-by: Ian Jackson --- src/bin/otterlib.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/bin/otterlib.rs b/src/bin/otterlib.rs index 63ff7b62..b981f8b1 100644 --- a/src/bin/otterlib.rs +++ b/src/bin/otterlib.rs @@ -13,6 +13,10 @@ const HTML_PRELUDE: &str = r##" Otter builtin shape library +

Otter builtin shape library

This lists all the shapes provided by the library in this version of Otter.

-- 2.30.2