Update proptypes to proper package. - #51
Open
jeroenptrs wants to merge 2 commits into
Open
jeroenptrs wants to merge 2 commits into
jeroenptrs wants to merge 2 commits into
Commits
Commits on Oct 18, 2017
- committed
Jeroen Peeters - committed
Jeroen Peeters