var _flutter_restoration_plugin_8mm =
[
    [ "FlutterRestorationPlugin()", "category_flutter_restoration_plugin_07_08.html", "category_flutter_restoration_plugin_07_08" ],
    [ "_restorationEnabled", "_flutter_restoration_plugin_8mm.html#a42452f434ab56748032d16b7e0d08cba", null ]
];