Changeset 9eb3dcc in git for doc/general.doc

Timestamp:
May 12, 1998, 11:09:37 AM (26 years ago)
Author:
Jens Schmidt <schmidt@…>
Branches:
(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')
Children:
637e62467e35f49d65381d90e58ed3750790f684
Parents:
22cab5e9bbc1bc954a7b56361796248c22efd046
Message:
	* general.doc: oops, forgot to uncomment header


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

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