.gitattributes

   1 # Use various builtin diff parsers
   2 *.py diff=python
   3 *.c diff=cpp
   4 *.h diff=cpp
   5 *.go diff=golang
   6 *.md diff=markdown
   7
   8 # Use the following one-time config to get nicer diffs of various files:
   9 #    git config diff.ml.xfuncname '^(type|and|val|let) .*='
  10 #    git config diff.ml-api.xfuncname '^(let .*=|  "[^"]*", \{$)'
  11 #    git config diff.mli.xfuncname '^(type|and|val|module) '
  12 #    git config diff.states.xfuncname '^([a-zA-Z_].*| [A-Z._0-9]*:$)'
  13 *.ml diff=ml
  14 *.mli diff=mli
  15 API.ml diff=ml-api
  16 generator/states-*.c diff=states