README.md · 1f570d4b3a36688ac0ffdc177b14557e4204385f · xr119 / psvg.doc.ic.ac.uk · GitLab

Snippets Groups Projects

Forked from Verified Software / psvg.doc.ic.ac.uk

Source project has a limited visibility.

8 years ago
1f570d4b
Rename git repository from www-rw to psvg · 1f570d4b
Thomas Wood authored 8 years ago
```
Also put in permanent redirects for www-rw.doc.ic.ac.uk

Closes #4
```
1f570d4b

History
Rename git repository from www-rw to psvg
Thomas Wood authored 8 years ago
```
Also put in permanent redirects for www-rw.doc.ic.ac.uk

Closes #4
```