diff .settings/org.eclipse.core.resources.prefs @ 254:156edbd0733a pyqt5

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