From 7954d0bc6ccc800f9de81662a6d148bed48166b6 Mon Sep 17 00:00:00 2001
From: Arkerthan <arkerthan@gmail.com>
Date: Thu, 14 Mar 2019 23:36:29 +0100
Subject: [PATCH] fix

---
 devTools/javaSanityCheck/twineTags | 1 +
 1 file changed, 1 insertion(+)

diff --git a/devTools/javaSanityCheck/twineTags b/devTools/javaSanityCheck/twineTags
index d0c5e0c6f9e..bfaa9ccc4de 100644
--- a/devTools/javaSanityCheck/twineTags
+++ b/devTools/javaSanityCheck/twineTags
@@ -15,6 +15,7 @@ htag;1
 include;0
 link;1
 nobr;1
+options;1
 print;0
 replace;1
 run;0
-- 
GitLab