var index =
[
    [ "Abstract", "index.html#abstract", null ],
    [ "Links", "index.html#links", null ],
    [ "Citing GeographicLib", "index.html#citint", null ],
    [ "Contents", "index.html#contents", null ]
];