diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-07-29 14:45:04 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-29 14:45:04 +0200 |
commit | 5b92f7aac1beb480675d1dd7d6c916c6dae16f65 (patch) | |
tree | d149a04450325439f0662cfecbda18b5f5a86a48 /misc/dist | |
parent | 1c68be9c8f8d045de0fae9c3fb8187cfa1fcccc0 (diff) | |
parent | 9a71038e346aa01480e2379e1f3caadfa5692b2b (diff) |
Merge pull request #51001 from akien-mga/make_tarball-git-HEAD
Add script to make source tarball with `.git/HEAD`
Diffstat (limited to 'misc/dist')
0 files changed, 0 insertions, 0 deletions