nicer output for the ssh command: show quotes only when needed
[nepi.git] / VERSION
1 6.0.9