aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2019-02-08 20:34:57 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2019-02-08 20:48:39 +0300
commit19a6eb42669c2d380d0bb045fe1240b1589e9ad2 (patch)
tree4fc7868c841a80384fbd3fc3f4b2ab49fec429ce /doc/.gitignore
parent4961b86a18138115a87e79f34a2463493e505449 (diff)
Fix github-based repository fetching for URLs missing .git extension
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions