Revision 9fcd1d2cf7292956ac5dfd092eb17bbf01a5893c authored by Nicolas Jeannerod on 25 November 2023, 10:04:11 UTC, committed by GitHub on 25 November 2023, 10:04:11 UTC
1 parent b2d2e66
Raw File
.gitignore
## .gitignore

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

## Emacs
*~
*#
.auctex-auto

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