From 588737c2168ac7d5cdcb82b0a9f067f4d159eef5 Mon Sep 17 00:00:00 2001 From: Peter Desmet Date: Wed, 10 Oct 2018 13:23:04 +0200 Subject: [PATCH] Add namespace policy to navbar --- docs/_includes/navbar.html | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/_includes/navbar.html b/docs/_includes/navbar.html index 866ead0..8cf5ab9 100644 --- a/docs/_includes/navbar.html +++ b/docs/_includes/navbar.html @@ -18,6 +18,9 @@ RDF +