aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Merge branch 'master' of github.com:jodersky/jodersky.github.ioJakob Odersky2018-11-165-3/+7
|\
| * Fix 404 pageJakob Odersky2018-10-221-1/+2
| |
| * Update CVJakob Odersky2018-10-221-0/+0
| |
| * Fix formattingJakob Odersky2018-10-211-1/+1
| |
| * Update CVJakob Odersky2018-10-212-1/+1
| |
* | Add scalebythebay 2018 talkJakob Odersky2018-11-163-0/+515
|/
* Change domain nameJakob Odersky2018-10-061-1/+1
|
* Upgrade bootstrapJakob Odersky2018-01-2911-31/+45
|
* Upgrade to Bootstrap 4 and update stylingJakob Odersky2017-07-2938-12142/+2783
|
* Update pictureJakob Odersky2017-06-261-0/+0
|
* Update work descriptionJakob Odersky2017-06-061-1/+1
|
* Update websiteJakob Odersky2017-05-082-4/+7
|
* Update projectsJakob Odersky2017-01-232-6/+6
|
* Update email address encodingJakob Odersky2017-01-202-2/+2
|
* Remove keyJakob Odersky2017-01-111-97/+0
|
* Update websiteJakob Odersky2017-01-113-19/+6
|
* Update websiteJakob Odersky2016-05-173-3/+3
|
* Update emailJakob Odersky2016-05-142-2/+2
|
* Update emailJakob Odersky2016-05-142-2/+2
|
* Update key expiration dateJakob Odersky2016-04-021-37/+25
|
* Update keybase informationJakob Odersky2016-03-292-29/+29
|
* Update urlJakob Odersky2016-03-293-10/+3
|
* Update homepageJakob Odersky2016-02-051-1/+1
|
* Remove javascriptJakob Odersky2016-02-051-4/+1
|
* Update page URLJakob Odersky2016-02-021-1/+1
|
* update links and keybaseJakob Odersky2016-02-023-33/+34
|
* update cnameJakob Odersky2016-02-021-1/+1
|
* Add uid to gpg keyJakob Odersky2016-01-241-70/+95
|
* Change link to point to project homepageJakob Odersky2015-12-161-2/+2
|
* Update work locationJakob Odersky2015-10-241-1/+1
|
* Revert "hide cv link"Jakob Odersky2015-10-151-0/+1
| | | | This reverts commit 151f57352abdae426ec4f5c1e2ae4e5b1de354f0.
* update pictureJakob Odersky2015-09-192-3/+3
|
* hide cv linkJakob Odersky2015-08-281-1/+0
|
* change selected projects titleJakob Odersky2015-08-071-1/+1
|
* remove picture (temporary)Jakob Odersky2015-07-072-2/+1
|
* update cvJakob Odersky2015-07-071-0/+0
|
* update projectsJakob Odersky2015-07-023-1/+7
|
* update languagesJakob Odersky2015-07-021-0/+0
|
* update siteJakob Odersky2015-07-019-15/+87
|
* update project condorJakob Odersky2015-06-191-2/+2
|
* update keyJakob Odersky2015-05-181-93/+70
|
* update openpgpJakob Odersky2015-05-032-122/+118
|
* updateJakob Odersky2015-05-032-1/+0
|
* update keybase proofJakob Odersky2015-04-271-28/+28
|
* fix typo in project nameJakob Odersky2015-04-221-1/+1
|
* remove blog headerJakob Odersky2015-04-141-2/+2
|
* update cvJakob Odersky2015-04-141-0/+0
|
* add keybase validation fileJakob Odersky2015-04-121-0/+71
|
* remove wip headerJakob Odersky2015-04-122-3/+2
|
* implement basic site using jekyllJakob Odersky2015-04-0941-1/+12376
|