general cleanups

2023-10-29 22:38:14 +01:00
parent 5f3f7dc66d
commit 733597b6aa
16 changed files with 1525 additions and 917 deletions
@@ -4,3 +4,6 @@
 [submodule "3p/tinycthread"]
 	path = 3p/tinycthread
 	url = https://github.com/tinycthread/tinycthread.git
+[submodule "3p/packetdrill"]
+	path = 3p/packetdrill
+	url = https://github.com/google/packetdrill.git