var foreign__chars_8php =
[
[ "$foreign_characters", "foreign__chars_8php.html#a77bf091eac4b63b8efea27293e5ca79b", null ]
];