diff options
Diffstat (limited to 'dist/s_string.ok')
| -rw-r--r-- | dist/s_string.ok | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/s_string.ok b/dist/s_string.ok index cea96db2848..1658684313c 100644 --- a/dist/s_string.ok +++ b/dist/s_string.ok @@ -881,6 +881,7 @@ poptable pos posint posix +pragmas pre prealloc preload |