Commit Graph

1 Commits

Author SHA1 Message Date
Rémi Verschelde bfcfb58efc Merge tools/docdump in tools/doc
Reduces clutter in the tools folder.

(cherry picked from commit 6a4ba76836)
2016-09-18 23:05:07 +02:00