diff options
| -rw-r--r-- | .gitmodules.disabled (renamed from .gitmodules) | 0 | ||||
| m--------- | third_party/benchmark | 0 | ||||
| m--------- | third_party/googletest | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules.disabled index bcd125a49..bcd125a49 100644 --- a/.gitmodules +++ b/.gitmodules.disabled diff --git a/third_party/benchmark b/third_party/benchmark deleted file mode 160000 -Subproject 5b7683f49e1e9223cf9927b24f6fd3d6bd82e3f diff --git a/third_party/googletest b/third_party/googletest deleted file mode 160000 -Subproject 5ec7f0c4a113e2f18ac2c6cc7df51ad6afc2408 |