mirror of
https://github.com/sharkdp/bat
synced 2026-08-26 14:13:37 +01: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.