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
.gitignore
## .gitignore
## Project-specific
/_build
/*.log
__pycache__
## Emacs
*~
*#
.auctex-auto
## Nix & direnv
/result
/.envrc
/.direnv
/.pre-commit-config.yaml
Computing file changes ...