commit | 54232582270a304f1b02df1df93cf03f05e1f6a7 | [log] [tgz] |
---|---|---|
author | Andreas Schuh <aschuh@heartflow.com> | Fri Sep 18 17:55:31 2020 +0100 |
committer | Andreas Schuh <aschuh@heartflow.com> | Fri Sep 18 17:55:31 2020 +0100 |
tree | 2f7b1b84bc1a70e11a1b2968a368e718f8316c19 | |
parent | f7388c6655e699f777a5a74a3c9880b9cfaabe59 [diff] | |
parent | 048c14220ac49f992217e08a7f76e74530dd9390 [diff] |
Merge branch 'remove-doc-submodule'
To update the GitHub Pages at http://gflags.github.io/gflags/, use command:
git subtree push --prefix=doc/ origin gh-pages