From 1aad95a48113ed7e409b7231736f4a3cf58a06a9 Mon Sep 17 00:00:00 2001
From: pmaksimo <p.maksimovic@imperial.ac.uk>
Date: Wed, 13 May 2020 23:52:39 +0100
Subject: [PATCH] minor

---
 _people/fragoso-santos.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/_people/fragoso-santos.md b/_people/fragoso-santos.md
index 74362d6..94447e5 100644
--- a/_people/fragoso-santos.md
+++ b/_people/fragoso-santos.md
@@ -6,6 +6,8 @@ webpage: http://web.ist.utl.pt/jose.fragoso/
 email: jose.fragoso@tecnico.ulisboa.pt
 github: j3fsantos
 alumnus: true
+projects:
+  - gillian
 ---
 
 José joined the group as a Research Associate in 2015, working on
-- 
GitLab