var modules =
[
    [ "WiredTiger API", "group__wt.html", "group__wt" ],
    [ "WiredTiger Extension API", "group__wt__ext.html", "group__wt__ext" ],
    [ "WiredTiger Java API", "group__wt__java.html", "group__wt__java" ]
];