diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2018-07-04 22:10:38 +0300 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-07-05 08:49:59 +0200 |
| commit | 9be433ac34057a2c9c1757ec41f8b3f6361f98dc (patch) | |
| tree | 053bc111fd525086c29343195bea595eaca4d43b /doc/toc.css | |
| parent | adefc9b14d8940299a0c6b478de8b66566978d10 (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/toc.css')
0 files changed, 0 insertions, 0 deletions