aboutsummaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
authorGravatar Jason Gross <jagro@google.com>2016-09-16 19:34:14 -0700
committerGravatar Jason Gross <jagro@google.com>2016-09-16 19:34:14 -0700
commit6fbb775e9b93cbbdb1a6cecfede9a84c26926768 (patch)
treeadb1160d3f40c04e10e866bcf20a77eeecfd9470 /AUTHORS
parenta8d28f0280cb6fb3d93031e20b06e4218ad33b5b (diff)
Update .gitignore for Coq 8.6
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions