summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-08-28Uppercase in repo nameemkael
2019-08-28Reverting to .github.io URL in the title for nowemkael
2019-08-21Incorrect level of heading fixedemkael
2019-08-21Changing page themeemkael
2019-08-21Adding front matter to PKL API docsemkael
2019-08-21Moving PKL API doc to subdir pathemkael
2019-08-20Removing submodule infoemkael
2019-08-20Absolute path to square-deal, in case custom domain magic proofs problematicemkael
2019-08-20Reverting to not providing square-deal submoduleemkael
2019-08-17Documentation contentemkael
2019-08-17Main page contentsemkael
2019-08-17Style adjustements (columns layout)emkael
2019-08-17Basic site configemkael
2019-08-17Initial project structure with square-deal as submoduleemkael