Gosh, some little cosmetics here...

[midnight-commander.git] / gnome / magicdev.idl

module GNOME {
  interface MagicDev {
    void reread_config();
    boolean is_running();
  };
};