Commit 033ea945 authored by Michael Kohlhase's avatar Michael Kohlhase

fixing

parent f670bab8
id: MiKoMH/KWARC
source-base: http://mathhub.info/MiKoMH/KWARC
narration-base: http://mathhub.info/MiKoMH/KWARC
dependencies:
dependencies: smglom/numberfields,MiKoMH/GenCS,MiKoMH/talks
no-omdoc:.*/tikz/.*
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment