From 286c9bfc12e7b98a25278dd13becbd567d9e1102 Mon Sep 17 00:00:00 2001 From: Jasper Moeys Date: Wed, 31 Jul 2019 10:21:27 +0200 Subject: [PATCH] add ContT to Data Types menu --- docs/src/main/resources/microsite/data/menu.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/src/main/resources/microsite/data/menu.yml b/docs/src/main/resources/microsite/data/menu.yml index 82857bb783..f47cff5a1c 100644 --- a/docs/src/main/resources/microsite/data/menu.yml +++ b/docs/src/main/resources/microsite/data/menu.yml @@ -134,6 +134,10 @@ options: - title: Const url: datatypes/const.html menu_type: data + + - title: ContT + url: datatypes/contt.html + menu_type: data - title: Either url: datatypes/either.html