Move doc directory.

This commit is contained in:
jbnadal
2018-04-30 11:45:32 +02:00
parent e65a08ed1f
commit af9fed68e8