[gnome-games] (13 commits) ...ui: Remove plugins preferences

From: Alexander Mikhaylenko <alexm src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-games] (13 commits) ...ui: Remove plugins preferences
Date: Wed, 20 Mar 2019 05:46:21 +0000 (UTC)

Summary of changes:

  7aec79b... platform: Add compare() (*)
  c2d509e... core: Add PlatformRegister (*)
  b69e530... retro: Add RetroPlatform (*)
  393ec92... application: Register platforms for libretro simple types (*)
  104b339... plugins: Register platforms (*)
  64be473... retro-core-source: Require RetroPlatform (*)
  d785db4... retro-core-source: Drop 'mime_types' parameter (*)
  4cba46d... retro: Add RetroCoreManager (*)
  31b2cd5... retro-core-source: Use RetroCoreManager for finding cores (*)
  4d029ae... retro-core-source: Always search modules (*)
  a8798e1... ui: Add platform rows (*)
  5c1fecb... ui: Add PreferencesPagePlatform (*)
  287d16c... ui: Remove plugins preferences (*)

(*) This commit already existed in another branch; no separate mail sent

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]