From: Ian Jackson Date: Tue, 12 Jan 2021 20:20:53 +0000 (+0000) Subject: shape library style slightly X-Git-Tag: otter-0.3.0~53 X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=dc313e01abc4b40f670390942c910b00b7cc7f2e;p=otter.git shape library style slightly Signed-off-by: Ian Jackson --- 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.