summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-04-02Typo fixemkael
2020-02-26Merge pull request #3 from PZBS/dependabot/bundler/nokogiri-1.10.8Michał Klichowicz
2020-02-26Bump nokogiri from 1.10.7 to 1.10.8dependabot/bundler/nokogiri-1.10.8dependabot[bot]
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-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-05 07:00:39 +0000