Minor changes.
authormj <mj>
Tue, 26 Mar 2002 20:00:33 +0000 (20:00 +0000)
committermj <mj>
Tue, 26 Mar 2002 20:00:33 +0000 (20:00 +0000)
commit22724c9a628f102f22310cd972508a86a25bd231
tree3951c10c3276d9899e6c634f30eabf48e25c1585
parentf7ff26e0c226c9082f6e63471b055496d5d689fe
Minor changes.
doc/INSTALL.mir