diff options
| -rw-r--r-- | .gitignore | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index 3679a3365b..553ecac486 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,9 @@ /.project /target -.DS_Store infer-out bazel-* -*~ + +# Do not add editor- and OS-specific files like *~ (Emacs) and .DS_Store +# (macOS). Instead, add them to $XDG_CONFIG_HOME/git/ignore +# (~/.config/git/ignore if $XDG_CONFIG_HOME is not set) or +# $GIT_DIR/info/exclude. See "git help gitignore" for details. |