Revision 7f9f4408196eaffbe2e3a58f27d48ab9d311140a authored by Niols on 25 November 2023, 12:25:54 UTC, committed by Niols on 25 November 2023, 12:25:54 UTC
1 parent 3cc4d60
Raw File
.gitignore
## .gitignore

## Project-specific
/_build
/*.log
__pycache__

## Emacs
*~
*#
.auctex-auto

## Nix & direnv
/result
/.envrc
/.direnv
/.pre-commit-config.yaml
back to top