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