Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | COPYING | 35147 | logplain |
-rw-r--r-- | Changes | 1340 | logplain |
-rw-r--r-- | README | 999 | logplain |
d--------- | figures | 130 | logplain |
-rw-r--r-- | tlaunch.ini | 3104 | logplain |
-rw-r--r-- | tlaunch.pdf | 330268 | logplain |
-rw-r--r-- | tlaunch.tex | 42961 | logplain |
-rw-r--r-- | tlaunchmode.pl | 3743 | logplain |