aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/library.ml
diff options
context:
space:
mode:
authorGravatar Arnaud Spiwack <arnaud@spiwack.net>2015-03-16 16:11:26 +0100
committerGravatar Arnaud Spiwack <arnaud@spiwack.net>2015-03-16 16:11:44 +0100
commitc8d143654489d9ae7295095a9e5e17cf89118b7a (patch)
tree2f1712de95d6f22075afe26ab39c96a47126e752 /library/library.ml
parentb8c8c115ef827cfaaff933abb64e1882497a30b5 (diff)
gitattributes: add `.mailmap` file to the list of files excluded from the `.tar.gz`.
Diffstat (limited to 'library/library.ml')
0 files changed, 0 insertions, 0 deletions