From 22773c77a0d67c075d682c408dc495521a2be269 Mon Sep 17 00:00:00 2001 From: Noam Postavsky Date: Tue, 24 Dec 2013 11:14:57 -0500 Subject: [PATCH] add a link to the symbol reference in top menu --- doc/nav-menu.html.inc | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/nav-menu.html.inc b/doc/nav-menu.html.inc index a0d8a3ecb..b31ec940e 100644 --- a/doc/nav-menu.html.inc +++ b/doc/nav-menu.html.inc @@ -11,5 +11,6 @@
  • Menu
  • FAQ +
  • Reference -- 2.39.2