From 284d370ede44ceb0507a4996a926ef51b174a925 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Thu, 22 Oct 2020 07:15:17 +0200 Subject: [PATCH] students --- projects/comma.md | 1 + projects/oaf.md | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/projects/comma.md b/projects/comma.md index c5fa94e..95a4021 100644 --- a/projects/comma.md +++ b/projects/comma.md @@ -12,6 +12,7 @@ people: - mkohlhase - dginev - jfschaefer + - pzoleko logo: public/kwarc_logo.svg publink: auto funding: internal diff --git a/projects/oaf.md b/projects/oaf.md index 96a784f..19c5961 100644 --- a/projects/oaf.md +++ b/projects/oaf.md @@ -19,7 +19,7 @@ people: - jsee - rmarcus - mrupprecht - + - aschmidt logo: public/dfg_logo.svg funding: DFG program: Normalverfahren -- GitLab