che-server/plugins/plugin-github/che-plugin-github-ide
Artem Zatsarynnyi 32de1e7447 Rename methods (#5762)
AppContext#getMasterEndpoint -> AppContext#getMasterApiEndpoint
AppContext#getDevAgentEndpoint -> AppContext#getWsAgentServerApiEndpoint
2017-07-21 10:15:20 +03:00
..
src Rename methods (#5762) 2017-07-21 10:15:20 +03:00
pom.xml Merge branch 'master' into spi 2017-07-20 12:30:15 +03:00