Added crdp.

plasma-umass · Dec 8, 2022 · b22e005 · b22e005
1 parent 424529a
commit b22e005
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/MANIFEST.in b/MANIFEST.in
@@ -2,4 +2,6 @@ graft vendor/Heap-Layers
 prune vendor/Heap-Layers/.git
 graft vendor/printf
 prune vendor/printf/.git
+graft vendor/crdp
+prune vendor/crdp/.git
 exclude scalene/old/*