Changeset 9eb3dcc in git

Timestamp:
May 12, 1998, 11:09:37 AM (25 years ago)
Author:
Jens Schmidt <schmidt@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'f875bbaccd0831e36aaed09ff6adeb3eb45aeb94')
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.