updated url

This commit is contained in:
wadler 2018-07-06 10:16:17 -03:00
parent 20ed7e663e
commit b38c1e6dcd

View file

@ -24,7 +24,7 @@ disqus:
shortname: wenkokke
baseurl: ""
url: "https://plfa.github.io/"
url: "https://plfa.ed.inf.ac.uk"
plugins:
- jekyll-feed
markdown: kramdown