mirror of
https://github.com/sharkdp/bat.git
synced 2024-11-23 00:03:27 +01:00
f09b75dafa
It should be handled by a packaging script, not a build script. |
||
---|---|---|
.. | ||
.gitattributes | ||
before_deploy.bash | ||
before_deploy.ps1 | ||
before_install.bash | ||
script.bash |