m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorMarcin Chrzanowski <mc370754@students.mimuw.edu.pl>2021-10-13 15:15:13 +0200
committerMarcin Chrzanowski <mc370754@students.mimuw.edu.pl>2021-10-13 15:15:13 +0200
commitc9fce818e00c50f9623e4a19c75dc447452ff441 (patch)
tree04d74305e2323b5da1ab63667597db242a172632 /Makefile
parent60c5919a62aff1c75e130a8b6be4e26d38592479 (diff)
Add more explicit reduction from MSO to relabling
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions