diff options
| -rw-r--r-- | .gitmodules | 2 | ||||
| m--------- | custom/trivmix | 0 | ||||
| l--------- | custom/trivmix.nix | 2 | ||||
| m--------- | trivmix | 0 |
4 files changed, 2 insertions, 2 deletions
diff --git a/.gitmodules b/.gitmodules index 51c669ec..dec45e26 100644 --- a/.gitmodules +++ b/.gitmodules | |||
| @@ -1,5 +1,5 @@ | |||
| 1 | [submodule "trivmix"] | 1 | [submodule "trivmix"] |
| 2 | path = trivmix | 2 | path = custom/trivmix |
| 3 | url = git://git.yggdrasil.li/trivmix | 3 | url = git://git.yggdrasil.li/trivmix |
| 4 | [submodule "beuteltier"] | 4 | [submodule "beuteltier"] |
| 5 | path = beuteltier | 5 | path = beuteltier |
diff --git a/custom/trivmix b/custom/trivmix new file mode 160000 | |||
| Subproject d40917517feeaffc3d8e90cf8e06004623b0c5f | |||
diff --git a/custom/trivmix.nix b/custom/trivmix.nix index 4dedc26c..c2f64840 120000 --- a/custom/trivmix.nix +++ b/custom/trivmix.nix | |||
| @@ -1 +1 @@ | |||
| ../trivmix/package.nix \ No newline at end of file | trivmix/package.nix \ No newline at end of file | ||
diff --git a/trivmix b/trivmix deleted file mode 160000 | |||
| Subproject 34405c67012884b9ffad6c013444b2beb8ec64f | |||