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 086a10956a..c9479c459c 100755 --- a/keywords.pl +++ b/keywords.pl @@ -39,6 +39,7 @@ GT LE LT NE +RESTART abs accept alarm |