(* Copyright (C) 2013, Thomas Leonard
 * See the README file for details, or visit http://0install.net.
 *)

(** A GTK GUI plugin.
    There is no public interface - the plugin registers itself with [Zeroinstall.Gui.register_plugin] when it is loaded. *)
