diff options
author | Gennadiy Civil <gennadiycivil@users.noreply.github.com> | 2018-06-13 14:51:41 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-13 14:51:41 -0400 |
commit | 885808cccbecc95185cb4d413e65a2aa39f4d303 (patch) | |
tree | 127c4c676eb9f50fa1e2ca04562b9ae96e33754d /ci | |
parent | 30ff9c3a5d3bbe6dccbdb494805acf1dd0ee447e (diff) | |
parent | 3847aecb5f1baca96ad974eccfc1e9ed264eec3a (diff) | |
download | googletest-885808cccbecc95185cb4d413e65a2aa39f4d303.tar.gz googletest-885808cccbecc95185cb4d413e65a2aa39f4d303.tar.bz2 googletest-885808cccbecc95185cb4d413e65a2aa39f4d303.zip |
Merge pull request #1631 from gennadiycivil/master
doc sync
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions