diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2022-03-30 14:49:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-30 14:49:15 +0200 |
commit | 22522722a6e62d723a8da4d3a0c0b7c6af09c05f (patch) | |
tree | 4b8333da3cff2cb65f706009fc41c80a0bf44ea9 /src/build-remote | |
parent | ed581e51ccb77abbbf8c24c8ede7189abbb21f06 (diff) | |
parent | 87f867ef62e7c391955fb1ca3f78bfd532e6666b (diff) |
Merge pull request #6335 from thufschmitt/gitignore-stray-files
Gitignore or don’t create some build outputs
Diffstat (limited to 'src/build-remote')
0 files changed, 0 insertions, 0 deletions