From e35fa043b340d90cf72d2c30b6ab69c56733d6dd Mon Sep 17 00:00:00 2001 From: Evan Pratten Date: Wed, 26 Jul 2023 16:41:27 -0400 Subject: [PATCH] Pull in aya --- .gitmodules | 4 ++++ third_party/aya | 1 + 2 files changed, 5 insertions(+) create mode 100644 .gitmodules create mode 160000 third_party/aya diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..3299dc7 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,4 @@ +[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 new file mode 160000 index 0000000..53d36a3 --- /dev/null +++ b/third_party/aya @@ -0,0 +1 @@ +Subproject commit 53d36a3fe04b6828568603bfcfd9a588418abb1b