Project fix#185

Open

JustusAdam wants to merge 3 commits into

mit-pdos:masterfrom

JustusAdam:project-fix

Commits on Jun 4, 2021

Fixed a bug in project
Justus Adam
committed
Making the column ordering project fix better
Justus Adam
committed

Commits on Jun 5, 2021

Small alteration of the project operator fix
JustusAdam
authored