aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
gh-pagesPublish websiteJakob Odersky5 years
masterUpdate index.htmlJakob Odersky5 years
 
 
AgeCommit messageAuthorFilesLines
2019-05-03Update index.htmlHEADmasterJakob Odersky1-1/+1
2019-04-07Update talksJakob Odersky1-2/+3
2019-01-11Update indexJakob Odersky1-2/+3
2018-11-23Update talks pageJakob Odersky3-0/+6656
2018-11-19Move to pandoc and makefile based publishing systemJakob Odersky26-190/+209
2018-11-16Merge branch 'master' of github.com:jodersky/jodersky.github.ioJakob Odersky5-3/+7
2018-11-16Add scalebythebay 2018 talkJakob Odersky3-0/+515
2018-10-22Fix 404 pageJakob Odersky1-1/+2
2018-10-22Update CVJakob Odersky1-0/+0
2018-10-21Fix formattingJakob Odersky1-1/+1
[...]
 
Clone
https://git.crashbox.io/mirrors/github/jodersky/website