diff options
| author | Andreas Grois <andi@grois.info> | 2023-12-06 22:59:06 +0100 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2023-12-06 22:59:06 +0100 |
| commit | 9fb83b22220c825943549bc97bdab457bfad7f5b (patch) | |
| tree | cd69ed6739aca2d5642f476f5cbc34b6266cdc8b /Common/DayPart.lean | |
| parent | d8bd3fef91f805821a15d6aa3c531f33b3805d10 (diff) | |
Part 2, finally
Diffstat (limited to 'Common/DayPart.lean')
0 files changed, 0 insertions, 0 deletions