diff options
| author | Markus Heiser <markus.heiser@darmarit.de> | 2019-12-22 23:28:07 +0100 |
|---|---|---|
| committer | Markus Heiser <markus.heiser@darmarit.de> | 2019-12-22 23:28:07 +0100 |
| commit | d3e4e81fafbdf24604924ce34c70c511c0531301 (patch) | |
| tree | 4bbeb69b6363dc5608b42f82178ff62f1ed5d2df /docs | |
| parent | 90174e215c2eeb44ad8d76d7389ec5f661e63b82 (diff) | |
makefile.sphinx: fix gh-pages / pull before add commits
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions