「view this page in B3 βῆτα server」

Revisions №15021

branch: commits 「№15021」
Commited by: Rocco Moretti
GitHub Pull Request link: 「№4587」
Merge: 「50aca2d75」「953889f55」  code diff
Scheduled at: 2020-03-25 13:26:52.578662
linux.clang linux.gcc linux.srlz mac.clang

Pull Request №4587 master←roccomoretti/submodule_relative Merge: 50aca2d75d2cbb958298a2f1ff49bc6023529463←953889f55a811aa933448b5c90f552ff05d9d19b Convert .gitmodules to use relative paths. ---------------- Merge commit message: Convert .gitmodules to use relative paths. Right now we're hard coding SSH paths for various submodules, which is annoying if people cloned main using https, especially now that we have submodules which are required for compilation. It turns out, though, that Git can use relative paths for submodules, which allows the submodules to be cloned using the same method the main repo was.