diff options
author | Mike Pall <mike> | 2023-08-28 21:59:01 +0200 |
---|---|---|
committer | Mike Pall <mike> | 2023-08-28 21:59:01 +0200 |
commit | a0b52aae33ffaeff2cc3f28b6e125f9582b133d6 (patch) | |
tree | 475b359004662f89a602f71dd717bbb51787c0b8 /etc | |
parent | 14e2917e7ab3d6f043d6604298bfa66470c6f47d (diff) | |
download | luajit-a0b52aae33ffaeff2cc3f28b6e125f9582b133d6.tar.gz luajit-a0b52aae33ffaeff2cc3f28b6e125f9582b133d6.tar.bz2 luajit-a0b52aae33ffaeff2cc3f28b6e125f9582b133d6.zip |
Handle non-.git checkout with .relver in .bat-file builds.
Thanks to Simon Cooke.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions