From 9ce615dce4fecbff4664e73afd0d896efd77fe20 Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Wed, 28 Dec 2016 13:59:56 +0100 Subject: Filter macOS metadata files in .gitignore --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 8a049f0c..fd993627 100644 --- a/.gitignore +++ b/.gitignore @@ -63,3 +63,5 @@ doc/coq2html doc/coq2html.ml doc/html doc/html/ +# MacOS metadata +.DS_Store -- cgit