version 1.39, 2001/09/17 20:29:43
|
version 1.40, 2001/09/18 19:04:36
|
Line 1875 zip_big.gif
|
Line 1875 zip_big.gif
|
<targetdir dist='default'>home/httpd/html/adm/lonMisc/</targetdir> |
<targetdir dist='default'>home/httpd/html/adm/lonMisc/</targetdir> |
<categoryname>graphic file</categoryname> |
<categoryname>graphic file</categoryname> |
<description> |
<description> |
miscellaneous resources |
Miscellaneous resources. Respectively: button for catalog, |
|
button to set parameters in a page, |
|
button to do regrades, button to check on problem submissions, |
</description> |
</description> |
<filenames> |
<filenames> |
cat_button.gif |
cat_button.gif; |
|
pprm_button.gif; |
|
pgrd_button.gif; |
|
subm_button.gif |
</filenames> |
</filenames> |
</fileglob> |
</fileglob> |
<file> |
<file> |