Document /*...*/ style comments.
[pspp] / doc / manual /
2019-10-11 Ben PfaffUpdate gitignore.