summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-01-31Update index.mdMarcin Wasłowicz
2020-01-31Update index.mdMarcin Wasłowicz
2020-01-31Update index.mdMarcin Wasłowicz
2020-01-31Update index.mdMarcin Wasłowicz
2020-01-31Header domain changedemkael
2020-01-31Create CNAMEMichał Klichowicz
2020-01-10Updating github-pages dependenciesemkael
2020-01-10Dokumentacja API PKL - wersjonowanieemkael
2019-08-28Repo name not needed anymore as remote repo is up and runningemkael
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
generated by cgit v1.2.3 (git 2.46.0) at 2024-11-17 14:47:08 +0000