[glade] widget-editor: Replace margin right/left for end/start

From: Juan Pablo Ugarte <jpu src gnome org>
To: commits-list gnome org
Cc:
Subject: [glade] widget-editor: Replace margin right/left for end/start
Date: Wed, 1 Aug 2018 13:50:21 +0000 (UTC)

Summary of changes:

  44577c8... widget-editor: Replace margin right/left for end/start (*)

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