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 aebb3ee2e7..cb91e2b86a 100755 --- a/keywords.pl +++ b/keywords.pl @@ -41,6 +41,7 @@ GT LE LT NE +RESTART abs accept alarm |