Changeset d19585 in git for factory/ExtensionInfo.h

Timestamp:
Nov 15, 2010, 4:45:16 PM (13 years ago)
Author:
Martin Monerjan
Branches:
(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
Children:
4138ab2842a81ef497d1f21e1ed50c9133d45a6e
Parents:
7c3bca08c96331a56864c1d35b8c2e8ff2e0be89
Message:
No more writing out by default


git-svn-id: file:///usr/local/Singular/svn/trunk@13657 2c84dea3-7e68-4137-9b89-c4e89433aadc
(No files)

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