diff options
author | Anton Khirnov <anton@khirnov.net> | 2020-11-20 09:26:40 +0100 |
---|---|---|
committer | Anton Khirnov <anton@khirnov.net> | 2020-11-20 09:29:56 +0100 |
commit | f55a44acf4c65e6e7534813b09f9b5b50e5796a6 (patch) | |
tree | 9bf6759d1a837631e88ea9b22c4c6c7de3c7075e /.gitmodules | |
parent | 38c78bd3c33068902347208bb15ad49b65570e9c (diff) |
Include pyaml directly, not as a submodule.
Its repository is quite big and contains infrastructure we do not need.
We should not need to update it, so just include the source directly.
Also, simplify bin/dotbot.
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index ffb9af9..0000000 --- a/.gitmodules +++ /dev/null @@ -1,4 +0,0 @@ -[submodule "lib/pyyaml"] - path = lib/pyyaml - url = https://github.com/yaml/pyyaml - ignore = dirty |