New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Additions to .gitignore #805

Closed

pdbj opened this issue Mar 11, 2022 · 3 comments · Fixed by #960

pdbj commented Mar 11, 2022

Here are some additions to .gitignore, for files generated by the test suite, and editor backups

Author

pdbj commented Apr 25, 2022

Revised: Ignore files generated by tests, editor backups, html docs

Author

pdbj commented May 12, 2022 •

edited

Loading

Rebased Ignore files generated by tests, editor backups, html docs

berquist linked a pull request

that will close this issue

Minor tidying #960

Merged

Member

berquist commented Jul 12, 2023

Done in #960.

berquist closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment