diff --git a/proposal.pdf b/proposal.pdf deleted file mode 100644 index e13cd5d122..0000000000 Binary files a/proposal.pdf and /dev/null differ