no way
Merge branch 'dev' of github.com:JYWa/teamstyle16 into dev

Because one file in this document is different on different person's computer, so I needn't push it to the remote repository.
tiny bugs