Commit graph

3 commits

Author SHA1 Message Date
01d0fdd505 remove non-universal property 2020-04-28 11:20:25 +02:00
c0c12cba82 Lending works 2020-04-28 10:54:22 +02:00
8cd3906a32 add untracked IProduct 2020-04-28 10:16:41 +02:00