diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-02 10:33:36 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-02 10:33:36 +0100 |
| commit | e5771d9df3f6f980611ba32fc8f5d92343dc3f7f (patch) | |
| tree | 080591b9a856e15c0ad79ddaee2cb897a9bb0809 /.gitignore | |
| parent | f4bda78a3325c8fee491296b2cdcd79fb6f4f87c (diff) | |
Prove environment equality preserves typing.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions