move michelfralloc in its own repository

p-quic · Jul 7, 2020 · f802b97 · f802b97
1 parent 3257249
commit f802b97
Show file tree

Hide file tree

Showing 10 changed files with 4 additions and 289 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "ubpf"]
 	path = ubpf
 	url = https://github.com/p-quic/ubpf
+[submodule "picoquic/michelfralloc"]
+	path = picoquic/michelfralloc
+	url = https://github.com/p-quic/michelfralloc.git
diff --git a/picoquic/michelfralloc b/picoquic/michelfralloc
diff --git a/picoquic/michelfralloc/Makefile b/picoquic/michelfralloc/Makefile
diff --git a/picoquic/michelfralloc/README.md b/picoquic/michelfralloc/README.md
diff --git a/picoquic/michelfralloc/michelfralloc.c b/picoquic/michelfralloc/michelfralloc.c
diff --git a/picoquic/michelfralloc/michelfralloc.h b/picoquic/michelfralloc/michelfralloc.h
diff --git a/picoquic/michelfralloc/ptmalloc.patch b/picoquic/michelfralloc/ptmalloc.patch
diff --git a/picoquic/michelfralloc/sbrk-public.h b/picoquic/michelfralloc/sbrk-public.h
diff --git a/picoquic/michelfralloc/sbrk.c b/picoquic/michelfralloc/sbrk.c
diff --git a/picoquic/michelfralloc/sbrk.h b/picoquic/michelfralloc/sbrk.h