oh-princeton-2/oh-princeton-2.github.io — pull request #13 by linjiahuang (2014-11-22 18:25:19+00:00)
Title: Update index.html

New definitions.