switched to HTTPS protocol for custom maven repository
[instantlauncher.git] / .settings / org.eclipse.jdt.ui.prefs
2014-02-25 Svjatoslav Agejenkouse scribes for text editing
2012-07-07 Svjatoslav Agejenkoinitial commit