diff options
author | michelou <michelou@epfl.ch> | 2003-11-07 15:08:03 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2003-11-07 15:08:03 +0000 |
commit | de0a7b2297d76714e711c99a5edf5f986a0dd4d7 (patch) | |
tree | 5526517d02f95844ec14c7fd08d51dff55709d21 /config | |
parent | 4bab79034d0056fb9982cbf31491880f961f8b53 (diff) | |
download | scala-de0a7b2297d76714e711c99a5edf5f986a0dd4d7.tar.gz scala-de0a7b2297d76714e711c99a5edf5f986a0dd4d7.tar.bz2 scala-de0a7b2297d76714e711c99a5edf5f986a0dd4d7.zip |
- removed option 'Xshortname'
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions