Module Frama_c_gui.Help_manager

Nothing exported. Automatic registration.