diff options
author | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-05-07 13:17:46 +0000 |
---|---|---|
committer | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-05-07 13:17:46 +0000 |
commit | 0385e9835d6fac729b6672294fa8e4c6b1ea3c10 (patch) | |
tree | 3ca81bdec56dc70d59a3fcaea46a4afc18f0622e /docs/man | |
parent | 8a78b2af60febe2f8c2e1256f1bf671a0ec27d2e (diff) | |
download | scala-0385e9835d6fac729b6672294fa8e4c6b1ea3c10.tar.gz scala-0385e9835d6fac729b6672294fa8e4c6b1ea3c10.tar.bz2 scala-0385e9835d6fac729b6672294fa8e4c6b1ea3c10.zip |
build.xml move to build-old.xml
sabbus.xml copied (using svn's smart copy) to build.xml
I'll delete sabbus.xml once all scripts have been updated.
Diffstat (limited to 'docs/man')
0 files changed, 0 insertions, 0 deletions