diff options
| author | Mike Pall <mike> | 2023-08-22 17:04:22 +0200 |
|---|---|---|
| committer | Mike Pall <mike> | 2023-08-22 17:04:22 +0200 |
| commit | d0ce82ecdcf0fcfb766e207eac6b7622680817b2 (patch) | |
| tree | a1c65bee2309030ff523d8355546eff6d829bef2 /etc | |
| parent | 6a2163a6b45d6d2515993e829153442f1cdf5631 (diff) | |
| download | luajit-d0ce82ecdcf0fcfb766e207eac6b7622680817b2.tar.gz luajit-d0ce82ecdcf0fcfb766e207eac6b7622680817b2.tar.bz2 luajit-d0ce82ecdcf0fcfb766e207eac6b7622680817b2.zip | |
Handle the case when .git is not a directory.
Thanks to Alexander Shpilkin.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions