Module Frama_c_gui.File_manager

Nothing exported. Automatic registration.