Renaming box.json to box.json.dist (#15).
feature #16 Renaming box.json to box.json.dist (#15). (kherge)

This PR was merged into the master branch.

Discussion
----------

Renaming box.json to box.json.dist (#15).

Commits
-------

a127e9a Renaming box.json to box.json.dist (#15).