diff options
| author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-11-26 17:05:34 +0100 |
|---|---|---|
| committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-11-26 17:05:34 +0100 |
| commit | 0c4da4bc2cf21f895ad33dfbf624170c6a73e704 (patch) | |
| tree | 6f2c8b1e01eeadfb4164b880ecf889a272712888 /Makefile | |
| parent | 47b8eb6089bc3f4216ab3ad172f4f76b51e64998 (diff) | |
Prove part of partition readiness computation
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions