re-adding that documentation

This commit is contained in:
Michael Kohlhase 2016-04-15 12:56:50 +02:00
parent 771bd798b3
commit cb4c3a77ae
1 changed files with 0 additions and 0 deletions

BIN
base/proposal.pdf Normal file

Binary file not shown.