From 53da30d772591081a603cd127dfad64ce2109fa4 Mon Sep 17 00:00:00 2001
From: Fabrizio Riguzzi <fabrizio.riguzzi@unife.it>
Date: Fri, 1 Jul 2016 17:44:54 +0200
Subject: [PATCH] API message

---
 lib/page.pl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/page.pl b/lib/page.pl
index 758c14890..b4cbdc9ed 100644
--- a/lib/page.pl
+++ b/lib/page.pl
@@ -312,6 +312,8 @@
         &(nbsp), &(nbsp),
         a([id('dismisslink'),href('')],['Dismiss']),
 	p([span([style('color:red')],['New']),': ',
+	a([href('/help/help-cplint.html#download-query-results-through-an-api'),target('_blank')],
+	['API']),', ',
 	a([href('/example/inference/truel.pl')],
 	['truel example']),', ',
 	a([href('/help/help-cplint.html#cont'),target('_blank')],