From 044f4d0263cea8d76ca5b52b0fb7bfb6a8e438c0 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Tue, 20 Jun 2017 17:16:59 +0200 Subject: [PATCH] Changed name. --- _config.yml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/_config.yml b/_config.yml index 4308ddc9..114d4b8f 100644 --- a/_config.yml +++ b/_config.yml @@ -1,14 +1,14 @@ title: Software Foundations in Agda # the author field should not be used in the template -author: Pepijn Kokke +author: Wen Kokke # to include a new contributor, add: # name, email, (github_username or twitter_username) contributors: - - name: Pepijn Kokke - email: pepijn.kokke@ed.ac.uk - github_username: pepijnkokke + - name: Wen Kokke + email: wen.kokke@ed.ac.uk + github_username: wenkokke - name: Philip Wadler email: wadler@inf.ed.ac.uk github_username: wadler @@ -18,11 +18,11 @@ description: > # include disqus to allow comments e.d. disqus: - shortname: pepijnkokke + shortname: wenkokke # technical details below --- do not modify (ง'-')ง baseurl: "/sf" -url: "https://pepijnkokke.github.io" +url: "https://wenkokke.github.io" markdown: kramdown theme: minima gems: