diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-11-27 19:05:35 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-11-27 19:05:35 +0000 |
commit | 1999c1bdc33f117b695d10c6eb77c82f60e2fbe2 (patch) | |
tree | b864a9d1112ecf36f3d5aca4727f6f2c2edbb8bf /build.xml | |
parent | 08a4772207c5500cc93b3cdedff8bfb2f4322a66 (diff) | |
download | scala-1999c1bdc33f117b695d10c6eb77c82f60e2fbe2.tar.gz scala-1999c1bdc33f117b695d10c6eb77c82f60e2fbe2.tar.bz2 scala-1999c1bdc33f117b695d10c6eb77c82f60e2fbe2.zip |
fixed Ticket #212
at the same time, made it easier to customise the shape of identifiers
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions