---------------------
TET Command Line Tool
---------------------

Copy the TET command line tool ("tet.exe" on Windows, "tet" on other
platforms) from the "bin" directory of the extracted TET package file
into this directory.
