diff options
| author | Brian Douglas <bdougie@users.noreply.github.com> | 2021-12-03 12:13:29 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-03 12:13:29 -0800 |
| commit | 707bb8fdfbc7cffeb2bedc7de3887b9c70734324 (patch) | |
| tree | f70e1bd9fc6eaac4de9de2b20bc4292ee2c109c1 /Agda.gitignore | |
| parent | 8017eef8e22bf256260b9f30971fd29d798f099d (diff) | |
| download | gitignore-707bb8fdfbc7cffeb2bedc7de3887b9c70734324.tar.gz gitignore-707bb8fdfbc7cffeb2bedc7de3887b9c70734324.zip | |
Adds a relationship question
Diffstat (limited to 'Agda.gitignore')
0 files changed, 0 insertions, 0 deletions