Changeset 618929 in git

Timestamp:
May 19, 1998, 11:14:36 PM (25 years ago)
Author:
Tim Wichmann <wichmann@…>
Branches:
(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
Children:
8e1a915be7cd46687b971d26f73af78f0c2921c9
Parents:
46dc0af2a4e9206d9af274ecbf9397d110f24b06
Message:
*wichmann: corrected option(prot) output.


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

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