3 commits

Author	SHA1	Message	Date
keie	34ccddfc2d	The library name was incorrect.	1985-04-12 17:21:52 +00:00
keie	c0085c2dd4	A list without double entries, for the moment supposing ... that trp,etc always gets loaded, so will be there when .dvu needs it.	1985-02-07 22:51:12 +00:00
keie	3c7fcfe81a	Initial revision	1985-02-07 17:43:43 +00:00