summaryrefslogtreecommitdiffhomepage
path: root/resources
diff options
context:
space:
mode:
authorCamil Staps2019-03-08 21:54:56 +0100
committerCamil Staps2019-03-08 21:54:56 +0100
commit5c1c2823679dd30145bbdc9e467133d4475c053f (patch)
tree2003240d3d865038b05d8f1c3cf436e51b2fd94a /resources
parentAdd 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.pug2
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: