aboutsummaryrefslogtreecommitdiff
path: root/doc/pre-box.css
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2018-07-04 22:10:38 +0300
committerBoris Kolpackov <boris@codesynthesis.com>2018-07-05 08:49:59 +0200
commit9be433ac34057a2c9c1757ec41f8b3f6361f98dc (patch)
tree053bc111fd525086c29343195bea595eaca4d43b /doc/pre-box.css
parentadefc9b14d8940299a0c6b478de8b66566978d10 (diff)
Strip .git extension for non-existent local prerequisite location
If the local prerequisite git repository having the .git extension doesn't exist but the one without the extension does, then strip the extension from the location.
Diffstat (limited to 'doc/pre-box.css')
0 files changed, 0 insertions, 0 deletions