summary refs log tree commit diff homepage
path: root/docs
AgeCommit message (Expand)Author
2020-09-19Employ lintersNguyễn Gia Phong
2020-09-08Update git repo and nitpickNguyễn Gia Phong
2020-07-24Update documentation pointersNguyễn Gia Phong
2020-07-24Write an overvview in docsNguyễn Gia Phong
2020-07-24Render math correctly and clean up docsNguyễn Gia Phong
2020-07-20Specify Sphinx versionNguyễn Gia Phong
2020-07-20Use Sphinx to replace wikiNguyễn Gia Phong
2018-08-06Add further description on game recordingNguyễn Gia Phong
2018-08-05Add HTML5 record player and update hit-and-run clientNguyễn Gia Phong