diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2017-11-16 11:21:31 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2017-11-19 12:33:49 +0100 |
| commit | c4e743c8408ada721e1039d786b69f6e122b28cd (patch) | |
| tree | 59dcaf65d1fa160816525020d09f7c99652565bf /scripts | |
| parent | eb178a5ba4c9432e951b6c206f8baf21257ecb28 (diff) | |
Relax semigroupoids constraint
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions