che-server/plugins/plugin-github/che-plugin-github-ide
Roman Iuvshin 0978f5c655 [maven-release-plugin] prepare for next development iteration 2016-04-25 16:08:21 +00:00
..
src Remove usage of MachineExtensionProxyServlet 2016-04-18 15:22:57 +03:00
pom.xml [maven-release-plugin] prepare for next development iteration 2016-04-25 16:08:21 +00:00