Changeset 5b694b5 in git

Timestamp:
May 19, 1998, 9:52:02 AM (25 years ago)
Author:
Jens Schmidt <schmidt@…>
Branches:
(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
Children:
b1fef4fe38581a24d4713e9cddf81447ec172e09
Parents:
53cc4decf7ab0a77a790c4d560571f9471a66c95
Message:
	* general.doc, reference.doc, types.doc: `Commandline' and
	  `command-line' globally replaced by `command line'


git-svn-id: file:///usr/local/Singular/svn/trunk@1856 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Note: See TracChangeset for help on using the changeset viewer.