From 942ed95cc1d09996ccbf05c9c5d2a46fe5331160 Mon Sep 17 00:00:00 2001 From: Sam Tombury Date: Tue, 30 Apr 2024 10:12:17 +0100 Subject: [PATCH] feat: add connectivity docs --- _data/sites.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/_data/sites.yml b/_data/sites.yml index 1431ea9..7a2fd8a 100644 --- a/_data/sites.yml +++ b/_data/sites.yml @@ -9,3 +9,6 @@ - name: Imandra Rule Synth baseurl: /imandra-rule-synth + +- name: Imandra Connectivity + baseurl: /connectivity-docs \ No newline at end of file