From bd76e1d98e6f85b21fa2668ea851a51528d75003 Mon Sep 17 00:00:00 2001
From: Gordon Williams <gw@pur3.co.uk>
Date: Mon, 7 Dec 2020 09:01:04 +0000
Subject: [PATCH] minor tweak to make lint happy

---
 apps/gpsnav/app.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/apps/gpsnav/app.js b/apps/gpsnav/app.js
index 99b5cf2c9..8903e07fb 100644
--- a/apps/gpsnav/app.js
+++ b/apps/gpsnav/app.js
@@ -182,7 +182,7 @@ function setButtons(){
   setWatch(nextwp.bind(null,-1), BTN1, {repeat:true,edge:"falling"});
   setWatch(doselect, BTN2, {repeat:true,edge:"falling"});
   setWatch(nextwp.bind(null,1), BTN3, {repeat:true,edge:"falling"});
-};
+}
 
 var SCREENACCESS = {
       withApp:true,