ButtonWebsiteModule/.settings
NorbiPeti f67d886000 Fixes, changed to port 443, more fixes
Aaand I forgot to pull the master branch
2017-11-23 23:25:56 +01:00
..
org.eclipse.core.resources.prefs API for other plugins, improvements 2017-05-30 23:24:48 +02:00
org.eclipse.jdt.core.prefs Fixes, changed to port 443, more fixes 2017-11-23 23:25:56 +01:00
org.eclipse.m2e.core.prefs API for other plugins, improvements 2017-05-30 23:24:48 +02:00