From 94d03556ba638fbd8bf52d10c6f3e35e7e3e7749 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 24 Jun 2017 11:51:16 +0200
Subject: [PATCH] made active

---
 projects/tetrapod.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/projects/tetrapod.md b/projects/tetrapod.md
index 68292c1..483d946 100644
--- a/projects/tetrapod.md
+++ b/projects/tetrapod.md
@@ -4,7 +4,7 @@ layout: project
 title: Tetrapod
 teaser: All four dimensions of Mathematical Knowledge Processing
 
-active: false
+active: true
 start_date: '2011-12'
 
 people:
-- 
GitLab