aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Update index.htmlHEADmasterJakob Odersky2019-05-031-1/+1
|
* Update talksJakob Odersky2019-04-071-2/+3
|
* Update indexJakob Odersky2019-01-111-2/+3
|
* Update talks pageJakob Odersky2018-11-233-0/+6656
|
* Move to pandoc and makefile based publishing systemJakob Odersky2018-11-1926-190/+209
| | | | | This drops the jekyll requirement to publish the website and instead relies on pandoc to convert markdown to html and assemble pages.
* 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
|