From 19804cfb3dcab17e550bffe2541de1782c10e940 Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Sat, 1 Jul 2017 13:08:44 +0000 Subject: [PATCH] Display database warnings in console --- devel/scheme/api/glue-auto-doc.en.tm | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/devel/scheme/api/glue-auto-doc.en.tm b/devel/scheme/api/glue-auto-doc.en.tm index a70de4a..2ef7c62 100644 --- a/devel/scheme/api/glue-auto-doc.en.tm +++ b/devel/scheme/api/glue-auto-doc.en.tm @@ -658,6 +658,14 @@ source code. . + <\explain> + )> + + <|explain> + Calls the function which returns + . + + <\explain> )> @@ -6082,6 +6090,14 @@ source code. . + <\explain> + )> + + <|explain> + Calls the function which returns + . + + <\explain> )>