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 ac81d42f7d..441d04b89b 100755 --- a/keywords.pl +++ b/keywords.pl @@ -257,6 +257,7 @@ sprintf sqrt srand stat +state study sub substr |