aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2018-03-08 18:14:44 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2018-03-09 14:54:52 +0300
commit78229192fc54ec1822bb29146f08386e3c60f813 (patch)
tree4e994888280268b33daea557903c2510a0a39905 /doc/.gitignore
parentbf7f63e56640fa7756ebaacac36fcf23ce61afa3 (diff)
Fix repository_name() to always recognize names for local repositories
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions