-
Thomas Schiex authored
[code] option -s can take a numerical argument that sepcifies that value/variable names should be printed instead of value index
f8568cf5
[code] option -s can take a numerical argument that sepcifies that value/variable names should be printed instead of value index