diff --git a/pkgs/plt-services/meta/drdr/pkgs.rktd b/pkgs/plt-services/meta/drdr/pkgs.rktd new file mode 100644 index 0000000000..6a452c185a --- /dev/null +++ b/pkgs/plt-services/meta/drdr/pkgs.rktd @@ -0,0 +1 @@ +()