Skip to content
Snippets Groups Projects
Commit b85cb2a8 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

Merge branch 'master' of gl.kwarc.info:kwarc/kwarc.info/www

parents e923978d 03065ed9
No related branches found
No related tags found
No related merge requests found
Pipeline #1808 passed
......@@ -23,7 +23,7 @@ people:
logo: public/dfg_logo.svg
funding: DFG
program: Normalverfahren
grantid: KO 2428/13-1
grantid: KO 2428/13-1, RA 18723/1-1
proposal: http://kwarc.info/kohlhase/projects/oaf.pdf
---
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment