diff options
author | Braxton Hall | 2022-10-24 03:38:31 +0000 |
---|---|---|
committer | GitHub | 2022-10-24 03:38:31 +0000 |
commit | 40317f6d4228ad435c699d17a9b4545041c0f3ee (patch) | |
tree | 0c661bc22bd5856c4d74588d65c92db280bc7799 /entries/skairunner/.gitignore | |
parent | d0208871d8c9cf86541b56afe6b830c5a20eb2c2 (diff) | |
parent | 4c717196fd630c5c207e114ffa9ca9c301eb1198 (diff) |
Merge pull request #13 from ionathanch/main
Fortran :) (also moved my Agda file up a dir)
Diffstat (limited to 'entries/skairunner/.gitignore')
0 files changed, 0 insertions, 0 deletions