Move a file that is not an external lib

This commit is contained in:
Laurent Destailleur 2015-09-18 21:53:35 +02:00
parent 0821f18712
commit bf85caade6