Age | Commit message (Expand) | Author |
---|---|---|
2019-08-28 | Uppercase in repo name | emkael |
2019-08-28 | Reverting to .github.io URL in the title for now | emkael |
2019-08-21 | Incorrect level of heading fixed | emkael |
2019-08-21 | Changing page theme | emkael |
2019-08-21 | Adding front matter to PKL API docs | emkael |
2019-08-21 | Moving PKL API doc to subdir path | emkael |
2019-08-20 | Removing submodule info | emkael |
2019-08-20 | Absolute path to square-deal, in case custom domain magic proofs problematic | emkael |
2019-08-20 | Reverting to not providing square-deal submodule | emkael |
2019-08-17 | Documentation content | emkael |
2019-08-17 | Main page contents | emkael |
2019-08-17 | Style adjustements (columns layout) | emkael |
2019-08-17 | Basic site config | emkael |
2019-08-17 | Initial project structure with square-deal as submodule | emkael |