diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-29 12:41:37 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-29 12:41:37 +0100 |
| commit | 89f09d26cee2588b1e3dea005dd28a0e52224198 (patch) | |
| tree | 4d56b682e79b031fdfaa607854f2ddc1369e7dc9 /.gitignore | |
| parent | 375626525607cba54d0260c66016e29ab1e9650c (diff) | |
chore: Fix warning on newer versions of Rocq.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,4 +1,5 @@ *.aux +*.png *.fdb_latexmk *.fls *.log @@ -21,4 +22,4 @@ Makefile~ proofs/ .vscode -.claude
\ No newline at end of file +.claude |