lampepfl/dotty — pull request #38 by odersky (2014-03-03 16:55:51+00:00)
Title: Fix/#34 pathresolvers

See explanation in commits.

Review by @DarkDimius, @srjd