diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/s_string.ok')
| -rw-r--r-- | src/third_party/wiredtiger/dist/s_string.ok | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/third_party/wiredtiger/dist/s_string.ok b/src/third_party/wiredtiger/dist/s_string.ok index c660bde80c1..6c0cc16592c 100644 --- a/src/third_party/wiredtiger/dist/s_string.ok +++ b/src/third_party/wiredtiger/dist/s_string.ok @@ -1136,6 +1136,7 @@ numSymbols numbare objs offpage +ofh ok oldv ondisk |