diff options
| author | Paul Phillips <paulp@improving.org> | 2010-10-17 06:59:23 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2010-10-17 06:59:23 +0000 |
| commit | 491ecd7b8b2e5a0ee1f185f26042a80e11e46568 (patch) | |
| tree | 90812d869840df297b4fa9afa0a7dae43ddc1d9a /.project | |
| parent | 080d357a3e3c88c17626c3a2ddd6fc334cb86d2e (diff) | |
| download | scala-491ecd7b8b2e5a0ee1f185f26042a80e11e46568.tar.gz scala-491ecd7b8b2e5a0ee1f185f26042a80e11e46568.tar.bz2 scala-491ecd7b8b2e5a0ee1f185f26042a80e11e46568.zip | |
Reverted previous commit as I think it is wedgi...
Reverted previous commit as I think it is wedging under -optimise. No
review.
Diffstat (limited to '.project')
0 files changed, 0 insertions, 0 deletions