version 1.56, 2001/12/01 16:49:58
|
version 1.57, 2001/12/04 17:58:14
|
Line 327 echo '**********************************
|
Line 327 echo '**********************************
|
<directory> |
<directory> |
<targetdir dist='default'>home/httpd/html/adm/lonMisc</targetdir> |
<targetdir dist='default'>home/httpd/html/adm/lonMisc</targetdir> |
<categoryname>server readonly</categoryname> |
<categoryname>server readonly</categoryname> |
<description></description> |
<description>miscellaneous resources</description> |
</directory> |
</directory> |
<directory> |
<directory> |
<targetdir dist='default'>home/httpd/html/adm/lonKaputt</targetdir> |
<targetdir dist='default'>home/httpd/html/adm/lonKaputt</targetdir> |
Line 1920 tex.gif;
|
Line 1920 tex.gif;
|
tex_big.gif; |
tex_big.gif; |
txt.gif; |
txt.gif; |
txt_big.gif; |
txt_big.gif; |
|
unknown.gif; |
|
unknown_big.gif; |
user.gif; |
user.gif; |
user_big.gif; |
user_big.gif; |
wav.gif; |
wav.gif; |