Code

make rss great again#148

Code

Merged

larsrh merged 4 commits intotypelevel:developmenttypelevel/typelevel.github.com:developmentfrom jarrodu:rss-fixesCopy head branch name to clipboardMar 14, 2017

+12-12

Commits

Commits on Mar 4, 2017

• make rss great again

  Show description for 266ea08
  jarrodu

  committed
  266ea08

Commits on Mar 5, 2017

• fix bug in RSS feed so authors are displayed

  Show description for f95735c
  jarrodu

  committed
  f95735c

• factored license out into an include and added license to each post

  jarrodu

  committed
  164c333

• solution for license in every RSS item description

  jarrodu

  committed
  b27e858