comparison TOOLS/x2mpsub.sh @ 4421:5dd78b21afbc

-sws 2 is default now
author michael
date Wed, 30 Jan 2002 15:32:43 +0000
parents 2c6c21e1a1a1
children
comparison
equal deleted inserted replaced
4420:a7bac05524a1 4421:5dd78b21afbc