diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-08-05 00:56:06 -0700 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-08-05 00:56:06 -0700 |
| commit | e6e09b16aa646289f0440e136ded1e84f5290a80 (patch) | |
| tree | 864e543cc7fc883c78511ea0cc3bd9fbe24b1c0d /build.xml | |
| parent | ab63cca87f68d80aff0ff6cd83ecd85b9e1d0c7a (diff) | |
| parent | e245b681291cb1234de30faf48a036a49a1000a2 (diff) | |
| download | scala-e6e09b16aa646289f0440e136ded1e84f5290a80.tar.gz scala-e6e09b16aa646289f0440e136ded1e84f5290a80.tar.bz2 scala-e6e09b16aa646289f0440e136ded1e84f5290a80.zip | |
Merge pull request #1012 from paulp/topic/unchecked-goes-hollywood
Promote unchecked warnings into being emitted by default.
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions