diff --git a/_includes/script.html b/_includes/script.html index cbf61c32..548b53c2 100644 --- a/_includes/script.html +++ b/_includes/script.html @@ -1,8 +1,14 @@ + + - diff --git a/_posts/2020-04-30-praise-for-plfa.md b/_posts/2020-04-30-praise-for-plfa.md index 6ff19471..64475efa 100644 --- a/_posts/2020-04-30-praise-for-plfa.md +++ b/_posts/2020-04-30-praise-for-plfa.md @@ -1,6 +1,6 @@ --- layout : post -title : "Praise for PLFA!" +title : "Praise for PLFA" short : true ---