finalize planning
authorMart Lubbers <mart@martlubbers.net>
Fri, 31 Mar 2017 12:12:26 +0000 (14:12 +0200)
committerMart Lubbers <mart@martlubbers.net>
Fri, 31 Mar 2017 12:12:26 +0000 (14:12 +0200)
commit707d0d237925bed908825196a0c4f553a3eac12c
treebecd0f2009e5853a9e8592cc358c857c44505766
parent86a5bf29f6b97341636233a92982f926d3e3a268
finalize planning
appendix-planning.tex