diff options
| author | Ömer Sinan Ağacan <omeragacan@gmail.com> | 2019-02-17 08:04:17 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-02-19 06:26:17 -0500 |
| commit | 9f5b11fa6a0bc32888fa88b6c3d57baa2e734c64 (patch) | |
| tree | d2887df38e92287fea3dc714879ccafe26d6a374 /.gitmodules | |
| parent | 76ac103f5021cba5cd000293c7cb8c2bd3148e7a (diff) | |
| download | haskell-9f5b11fa6a0bc32888fa88b6c3d57baa2e734c64.tar.gz | |
Remove arc scripts
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 5700a96a22..4de91b60f1 100644 --- a/.gitmodules +++ b/.gitmodules @@ -107,6 +107,3 @@ [submodule "gmp-tarballs"] path = libraries/integer-gmp/gmp/gmp-tarballs url = ../gmp-tarballs.git -[submodule ".arc-linters/arcanist-external-json-linter"] - path = .arc-linters/arcanist-external-json-linter - url = ../arcanist-external-json-linter.git |