From 10273c651510eae88e61210769ae14c7e074fa21 Mon Sep 17 00:00:00 2001 From: Thomas Wood <thomas.wood09@imperial.ac.uk> Date: Fri, 5 Feb 2016 13:53:57 +0000 Subject: [PATCH] Amend README.md for new subdomain. References #4 --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 55db85c..669266c 100644 --- a/README.md +++ b/README.md @@ -1,9 +1,9 @@ -Program Specification & Verification Group Website -================================================== +Program Specification & Verification Group Website: http://psvg.doc.ic.ac.uk/ +============================================================================= [](https://gemnasium.com/6ba7afbbfda9adcba06f007cc565a29a) -The source code for [this site](http://www-rr.doc.ic.ac.uk) is [hosted on the DoC GitLab server](https://gitlab.doc.ic.ac.uk/resource-reasoning/www-rw.doc.ic.ac.uk), +The source code for [this site](http://psvg.doc.ic.ac.uk) is [hosted on the DoC GitLab server](https://gitlab.doc.ic.ac.uk/resource-reasoning/www-rw.doc.ic.ac.uk), you should have access to edit it if a member of the resource-reasoning group. Technical Detail -- GitLab