summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2003-11-07 15:08:03 +0000
committermichelou <michelou@epfl.ch>2003-11-07 15:08:03 +0000
commitde0a7b2297d76714e711c99a5edf5f986a0dd4d7 (patch)
tree5526517d02f95844ec14c7fd08d51dff55709d21 /config
parent4bab79034d0056fb9982cbf31491880f961f8b53 (diff)
downloadscala-de0a7b2297d76714e711c99a5edf5f986a0dd4d7.tar.gz
scala-de0a7b2297d76714e711c99a5edf5f986a0dd4d7.tar.bz2
scala-de0a7b2297d76714e711c99a5edf5f986a0dd4d7.zip
- removed option 'Xshortname'
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions