annotate mx.sh @ 5891:fd8832ae511d

removed artifacts of defunct type system
author Lukas Stadler <lukas.stadler@jku.at>
date Mon, 20 Aug 2012 15:21:31 +0200
parents 9a4f210abb5e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4154
9a4f210abb5e Added mx.sh symlink at top level to mxtool/mx.
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
1 mxtool/mx