| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update index.htmlHEADmaster | Jakob Odersky | 2019-05-03 | 1 | -1/+1 |
| * | Update talks | Jakob Odersky | 2019-04-07 | 1 | -2/+3 |
| * | Update index | Jakob Odersky | 2019-01-11 | 1 | -2/+3 |
| * | Update talks page | Jakob Odersky | 2018-11-23 | 3 | -0/+6656 |
| * | Move to pandoc and makefile based publishing system | Jakob Odersky | 2018-11-19 | 26 | -190/+209 |
| * | Merge branch 'master' of github.com:jodersky/jodersky.github.io | Jakob Odersky | 2018-11-16 | 5 | -3/+7 |
| |\ | |||||
| | * | Fix 404 page | Jakob Odersky | 2018-10-22 | 1 | -1/+2 |
| | * | Update CV | Jakob Odersky | 2018-10-22 | 1 | -0/+0 |
| | * | Fix formatting | Jakob Odersky | 2018-10-21 | 1 | -1/+1 |
| | * | Update CV | Jakob Odersky | 2018-10-21 | 2 | -1/+1 |
| * | | Add scalebythebay 2018 talk | Jakob Odersky | 2018-11-16 | 3 | -0/+515 |
| |/ | |||||
| * | Change domain name | Jakob Odersky | 2018-10-06 | 1 | -1/+1 |
| * | Upgrade bootstrap | Jakob Odersky | 2018-01-29 | 11 | -31/+45 |
| * | Upgrade to Bootstrap 4 and update styling | Jakob Odersky | 2017-07-29 | 38 | -12142/+2783 |
| * | Update picture | Jakob Odersky | 2017-06-26 | 1 | -0/+0 |
| * | Update work description | Jakob Odersky | 2017-06-06 | 1 | -1/+1 |
| * | Update website | Jakob Odersky | 2017-05-08 | 2 | -4/+7 |
| * | Update projects | Jakob Odersky | 2017-01-23 | 2 | -6/+6 |
| * | Update email address encoding | Jakob Odersky | 2017-01-20 | 2 | -2/+2 |
| * | Remove key | Jakob Odersky | 2017-01-11 | 1 | -97/+0 |
| * | Update website | Jakob Odersky | 2017-01-11 | 3 | -19/+6 |
| * | Update website | Jakob Odersky | 2016-05-17 | 3 | -3/+3 |
| * | Update email | Jakob Odersky | 2016-05-14 | 2 | -2/+2 |
| * | Update email | Jakob Odersky | 2016-05-14 | 2 | -2/+2 |
| * | Update key expiration date | Jakob Odersky | 2016-04-02 | 1 | -37/+25 |
| * | Update keybase information | Jakob Odersky | 2016-03-29 | 2 | -29/+29 |
| * | Update url | Jakob Odersky | 2016-03-29 | 3 | -10/+3 |
| * | Update homepage | Jakob Odersky | 2016-02-05 | 1 | -1/+1 |
| * | Remove javascript | Jakob Odersky | 2016-02-05 | 1 | -4/+1 |
| * | Update page URL | Jakob Odersky | 2016-02-02 | 1 | -1/+1 |
| * | update links and keybase | Jakob Odersky | 2016-02-02 | 3 | -33/+34 |
| * | update cname | Jakob Odersky | 2016-02-02 | 1 | -1/+1 |
| * | Add uid to gpg key | Jakob Odersky | 2016-01-24 | 1 | -70/+95 |
| * | Change link to point to project homepage | Jakob Odersky | 2015-12-16 | 1 | -2/+2 |
| * | Update work location | Jakob Odersky | 2015-10-24 | 1 | -1/+1 |
| * | Revert "hide cv link" | Jakob Odersky | 2015-10-15 | 1 | -0/+1 |
| * | update picture | Jakob Odersky | 2015-09-19 | 2 | -3/+3 |
| * | hide cv link | Jakob Odersky | 2015-08-28 | 1 | -1/+0 |
| * | change selected projects title | Jakob Odersky | 2015-08-07 | 1 | -1/+1 |
| * | remove picture (temporary) | Jakob Odersky | 2015-07-07 | 2 | -2/+1 |
| * | update cv | Jakob Odersky | 2015-07-07 | 1 | -0/+0 |
| * | update projects | Jakob Odersky | 2015-07-02 | 3 | -1/+7 |
| * | update languages | Jakob Odersky | 2015-07-02 | 1 | -0/+0 |
| * | update site | Jakob Odersky | 2015-07-01 | 9 | -15/+87 |
| * | update project condor | Jakob Odersky | 2015-06-19 | 1 | -2/+2 |
| * | update key | Jakob Odersky | 2015-05-18 | 1 | -93/+70 |
| * | update openpgp | Jakob Odersky | 2015-05-03 | 2 | -122/+118 |
| * | update | Jakob Odersky | 2015-05-03 | 2 | -1/+0 |
| * | update keybase proof | Jakob Odersky | 2015-04-27 | 1 | -28/+28 |
| * | fix typo in project name | Jakob Odersky | 2015-04-22 | 1 | -1/+1 |
 |
index : website | |
| Homepage |
| aboutsummaryrefslogtreecommitdiff |