Changeset f8fe72 in git for Singular


Ignore:
Timestamp:
Feb 9, 2022, 10:19:22 PM (2 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
ed6db890624524bb0ee27dd818ebf9dc825cf0df
Parents:
b59b0e73729545f663afa83406856b5d0c5f3cba
Message:
opt: simplified flint-check
File:
1 edited

Legend:

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