From 69be59d4da49fa9f1061a3a9366efc0340f32324 Mon Sep 17 00:00:00 2001 From: Evan Pratten Date: Thu, 27 Jul 2023 14:03:56 -0400 Subject: [PATCH] Remove embedded aya --- .gitmodules | 4 ---- third_party/aya | 1 - 2 files changed, 5 deletions(-) delete mode 160000 third_party/aya diff --git a/.gitmodules b/.gitmodules index 3299dc7..e69de29 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,4 +0,0 @@ -[submodule "third_party/aya"] - path = third_party/aya - url = https://github.com/aya-rs/aya - ignore = dirty diff --git a/third_party/aya b/third_party/aya deleted file mode 160000 index 53d36a3..0000000 --- a/third_party/aya +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 53d36a3fe04b6828568603bfcfd9a588418abb1b