diff options
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 2a8747c..b07c676 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,8 +1,8 @@ -# Los tres motores, fijados al commit contra el que se midió el sistema. +# The three engines, pinned to the commit the system was measured against. # -# «ignore = dirty» es a propósito: scripts/bootstrap.sh aplica sobre cada uno -# el parche de vendor/patches/, así que su árbol de trabajo queda modificado -# siempre. Los cambios se versionan ahí, no como commits del submódulo. +# «ignore = dirty» is on purpose: scripts/bootstrap.sh applies the patch from +# vendor/patches/ on each of them, so their working tree is always modified. +# The changes are versioned there, not as submodule commits. [submodule "canary-rs"] path = vendor/canary-rs url = https://github.com/mmende/canary-rs.git |