diff --git a/devTools/javaSanityCheck/twineTags b/devTools/javaSanityCheck/twineTags index d0c5e0c6f9ee32f472d3a5d3a9453961de54b729..bfaa9ccc4de7ab664404577c17f6e58c9debe228 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