mirror of
https://github.com/sharkdp/bat.git
synced 2026-10-29 09:06:02 +00:00
This reverts commit a4212e99b0.
No longer needed because we reverted the Docker submodule.
This reverts commit a4212e99b0.
No longer needed because we reverted the Docker submodule.