Module Config_data.Plugins

module Plugins : Dune_site_plugins.Private_.Plugins.S
module Plugins_gui : Dune_site_plugins.Private_.Plugins.S