aboutsummaryrefslogtreecommitdiff
path: root/_includes/header.html
Commit message (Expand)AuthorAgeFilesLines
* Upgrade bootstrapJakob Odersky2018-01-291-9/+6
* Upgrade to Bootstrap 4 and update stylingJakob Odersky2017-07-291-46/+46
* Update websiteJakob Odersky2017-05-081-2/+5
* Update email address encodingJakob Odersky2017-01-201-1/+1
* Update websiteJakob Odersky2017-01-111-3/+0
* Update websiteJakob Odersky2016-05-171-2/+2
* Update emailJakob Odersky2016-05-141-1/+1
* Update emailJakob Odersky2016-05-141-1/+1
* update links and keybaseJakob Odersky2016-02-021-2/+2
* update siteJakob Odersky2015-07-011-2/+2
* remove blog headerJakob Odersky2015-04-141-2/+2
* remove wip headerJakob Odersky2015-04-121-1/+0
* implement basic site using jekyllJakob Odersky2015-04-091-0/+52