File: .gitignore

package info (click to toggle)
menhir 20210929-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, sid
  • size: 4,292 kB
  • sloc: ml: 24,825; sh: 180; makefile: 100; lisp: 8
file content (6 lines) | stat: -rw-r--r-- 75 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
*~
.merlin
_build
analysis/data.csv
analysis/*.pdf
dune-workspace.versions