.gitignore (391B)
1 _opam 2 _build 3 _build* 4 _boot 5 _boot* 6 _test_boot 7 _perf 8 _coverage 9 __pycache__ 10 *.install 11 compile_commands.json 12 13 # vim swap files 14 *.swp 15 *.swo 16 nvim.log 17 18 # emacs lock files 19 .#* 20 21 # vscode settings 22 .vscode 23 24 # git-ps hooks 25 .git-ps 26 27 .duneboot.* 28 Makefile.dev 29 src/dune_rules/setup.ml 30 .DS_Store 31 32 # nix 33 nix/profiles/ 34 result 35 result-* 36 start/ 37 38 .claude/ 39 .codex 40 .scratch/ 41 42 perf.data 43 perf.data.old 44 profile.json.gz