Wolfram Schneider 5340c449dd Lowercase file name for contents. All other directories (psd, smm, usd) ...

use the file name "contents".

Reviewed by:
Submitted by:
Obtained from:

1997-02-16 12:33:56 +00:00

..

contents.ms

…

Makefile

Lowercase file name for contents. All other directories (psd, smm, usd)

1997-02-16 12:33:56 +00:00