diff .settings/org.eclipse.core.resources.prefs @ 253:8b1678851b54

merge the pyqt5 branch into the default branch
author Dirk Olmes <dirk@xanthippe.ping.de>
date Fri, 10 Nov 2017 01:45:36 +0100
parents 460a3062c5e6
children
line wrap: on
line diff