Sanjin Sehic 972acc871a Allow retrieving of non-standard git URIs ... Non-standard git URIs are ones that do not start with 'git:' nor end with '.git'. An example of non-standard git URI is 'ssh://server/home/user/repo'. The mechanism for specifying a non-standard git URI is done by prefixing the whole URI with 'git:' to signify that it should be handled with the git resolver. For example, non-standard git URIs like 'git:ssh://server/user/repo' and 'git:https://server/user/repo' can now be used.		2012-02-13 22:02:44 -05:00
..
classfile	support incremental recompilation when using exportJars. fixes #108	2011-07-18 17:14:22 -04:00
classpath	directly read compiler.properties so that Scala classes don't need to be loaded when no work needs to be done.	2011-10-05 18:09:27 -04:00
collection	Merge pull request #342 from vigdorchik/wip_sourcepos_eugenevigdorchik	2012-01-30 14:34:03 -08:00
complete	Merge branch 'parsing_changes' into 0.12	2012-01-15 13:09:41 -05:00
control	split command core to main/command/	2012-01-29 14:36:27 -05:00
datatype	port build to 0.10, fixes #30	2011-06-10 07:58:18 -04:00
env	replace Path with RichFile	2011-05-14 18:21:41 -04:00
io	Allow retrieving of non-standard git URIs	2012-02-13 22:02:44 -05:00
log	split command core to main/command/	2012-01-29 14:36:27 -05:00
process	explicitly close streams on java.lang.Process to avoid descriptor leaks	2012-01-14 21:09:11 -05:00