#include <profiles/audio-profile-edit.h>

void gnome_media_profiles_catalog_init (void);

void
gnome_media_profiles_catalog_init (void) {
  /* empty init function,to make sure the catalg is initialized */
}
