diff options
| author | Jonathan Stucklen <stuckj@gmail.com> | 2018-09-14 15:46:02 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-14 15:46:02 -0400 |
| commit | 8e9a976642709c516fbf5dae2eba14dfd78ed0d0 (patch) | |
| tree | ef549da2fcee9b3e61793956a2a736051d845884 /Coq.gitignore | |
| parent | 28222daa1ec65ea9538dba4a6692ec64422fe992 (diff) | |
| download | gitignore-8e9a976642709c516fbf5dae2eba14dfd78ed0d0.tar.gz gitignore-8e9a976642709c516fbf5dae2eba14dfd78ed0d0.zip | |
Ignore build cache file for Android Studio 3.1+
See this SO post: https://stackoverflow.com/questions/49557737/should-i-add-idea-caches-build-file-checksums-ser-to-gitignore
and this Google issue tracker ticket: https://issuetracker.google.com/issues/77544553
for justification.
Diffstat (limited to 'Coq.gitignore')
0 files changed, 0 insertions, 0 deletions