diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2019-02-08 20:34:57 +0300 |
|---|---|---|
| committer | Karen Arutyunov <karen@codesynthesis.com> | 2019-02-08 20:48:39 +0300 |
| commit | 19a6eb42669c2d380d0bb045fe1240b1589e9ad2 (patch) | |
| tree | 4fc7868c841a80384fbd3fc3f4b2ab49fec429ce /doc/.gitignore | |
| parent | 4961b86a18138115a87e79f34a2463493e505449 (diff) | |
Fix github-based repository fetching for URLs missing .git extension
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions