Merge branch 'f/peano' of ssh://github.com/pharpend/lysa into f/peano
Correct placement of wei2912's surname.
Setup SSH deployment to server.
Disable strict host key checking.
Set correct permissions for deploy_rsa, which should not be executable.
Fix failed copy-pasta.
Resort to yes yes.
Add known host to .ssh/known_hosts.
Merge branch 'ssh-key' into develop
Use Travis's way of adding a host.
Shift environmental variables into repository settings.
Change naming scheme of built PDF files.
Merge pull request #21 from wei2912/wei-surname

Correct placement of wei2912's surname.
Configure Travis CI bot for IRC.
Merge branch 'develop' of github.com:learnmath/lysa into develop
Merge branch 'f/peano' of ssh://github.com/pharpend/lysa into f/peano
Merge branch 'f/peano' of ssh://github.com/pharpend/lysa into f/peano
Add exit code parameter so that we can exit correctly if something goes wrong.
Merge pull request #26 from wei2912/proper-build-error

Add exit code parameter so that we can exit correctly if something goes wrong.
Merge branch 'develop' of github.com:learnmath/lysa into f/peano