diff options
Diffstat (limited to 'keywords.pl')
| -rwxr-xr-x | keywords.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/keywords.pl b/keywords.pl index 438849a057..acdf807d43 100755 --- a/keywords.pl +++ b/keywords.pl @@ -42,6 +42,7 @@ INIT LE LT NE +STOP abs accept alarm |