vacancy/Jacinle

File headers should be re-formatted.

Closed this issue · 1 comments

Currently, there are at least two versions of file headers, which are created by PyCharm and Vim respectively. They should be merged into a unified file header.

Resolved by commit 41cc7ab.