Víctor González Prieto 0ed527f0d1 Replace spaces in git submodule paths ...

To mitigate a bug in the GitHub API that broke the Dependabot action
that updates submodules. See sharkdp/bat#3198.

2025-02-03 22:01:33 +01:00

..

01_Packages @ 759d6eed9b

Move syntaxes, fixes #874

2020-03-21 23:53:53 +01:00

02_Extra

Replace spaces in git submodule paths

2025-02-03 22:01:33 +01:00