[gnome-builder] settings: rename IdeSetings:is-global to ignore-project-settings

From: Christian Hergert <chergert src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-builder] settings: rename IdeSetings:is-global to ignore-project-settings
Date: Wed, 6 May 2015 20:26:58 +0000 (UTC)

Summary of changes:

  cbdff63... settings: rename IdeSetings:is-global to ignore-project-set (*)

(*) 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]