diff options
author | Camil Staps | 2019-03-08 21:54:56 +0100 |
---|---|---|
committer | Camil Staps | 2019-03-08 21:54:56 +0100 |
commit | 5c1c2823679dd30145bbdc9e467133d4475c053f (patch) | |
tree | 2003240d3d865038b05d8f1c3cf436e51b2fd94a /resources | |
parent | Add clide (Eclipse plugin) to clean.html (diff) |
Add 2019 to appointment for automated testing of Clean libraries
Diffstat (limited to 'resources')
-rw-r--r-- | resources/pug/finals/index.pug | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/pug/finals/index.pug b/resources/pug/finals/index.pug index 33458c3..caa10a6 100644 --- a/resources/pug/finals/index.pug +++ b/resources/pug/finals/index.pug @@ -106,7 +106,7 @@ block content mixin lastSaItem(guide, name) a(href=guide)= name - p 2018: work on automated testing of #[a(href="http://clean.cs.ru.nl/Clean") Clean] libraries + p 2018–19: work on automated testing of #[a(href="http://clean.cs.ru.nl/Clean") Clean] libraries p | 2017–18: |