diff options
| author | Tomi Ollila <tomi.ollila@iki.fi> | 2016-05-26 00:04:30 +0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2016-06-11 13:13:48 -0300 |
| commit | 57bd4cf3221a56f8fd8a27af541d6cc8b4011b62 (patch) | |
| tree | 0b91bc0c66afe384e0cfcc56784c6e3c8528cf67 /bindings/python/docs/source/index.rst | |
| parent | 2333a44ab7280a286af38e589a4bbc712bc3589a (diff) | |
Makefile.local: set IS_GIT = yes when regular file $srcdir/.git exists
$srcdir/.git may also be file. E.g. `git worktree` creates .git file
while new working tree is populated.
Diffstat (limited to 'bindings/python/docs/source/index.rst')
0 files changed, 0 insertions, 0 deletions