diff options
| author | themaskedtaquito | 2022-11-16 19:24:48 +0000 |
|---|---|---|
| committer | GitHub | 2022-11-16 19:24:48 +0000 |
| commit | faae5d90f956f20e34d02bee80d53fc7eafa623f (patch) | |
| tree | 8010d3f64efc6d3d8d0d9dfb16c6d32c3e50293e /entries/ionathanch/agda | |
| parent | 48a72180fc6521390127dcc0e1755a714daf9903 (diff) | |
Update people.json
Diffstat (limited to 'entries/ionathanch/agda')
0 files changed, 0 insertions, 0 deletions