Move registry creation scripts to tools

And get rid of unneeded dev/ directory

Change-Id: I88714eb97354e8a675792665fff136316a11361b
This commit is contained in:
Proskurin Kirill
2016-09-02 17:11:34 +03:00
parent ba6efbca4d
commit 573133a551
3 changed files with 0 additions and 0 deletions