diff options
| author | Miguel Garcia <miguelalfredo.garcia@epfl.ch> | 2012-01-20 22:54:03 +0100 |
|---|---|---|
| committer | Miguel Garcia <miguelalfredo.garcia@epfl.ch> | 2012-01-20 22:54:03 +0100 |
| commit | 3320a35298c4beefc2c75633c9e7afba0a924447 (patch) | |
| tree | 6f6a7f3d5e50f09d9adf859aaf029d7a7bb97c22 /pull-binary-libs.sh | |
| parent | 269d1650041f68bd2f7275cf73cbf5a764df9b5d (diff) | |
| download | scala-3320a35298c4beefc2c75633c9e7afba0a924447.tar.gz scala-3320a35298c4beefc2c75633c9e7afba0a924447.tar.bz2 scala-3320a35298c4beefc2c75633c9e7afba0a924447.zip | |
fix to avoid loading what shouldn't be loaded
Diffstat (limited to 'pull-binary-libs.sh')
0 files changed, 0 insertions, 0 deletions