diff --git a/doc/private/delete-list b/doc/private/delete-list new file mode 100644 index 0000000000..9e4e7a981b --- /dev/null +++ b/doc/private/delete-list @@ -0,0 +1 @@ +peter