Skip to content
Snippets Groups Projects
Commit 386148e9 authored by Robin Sonnabend's avatar Robin Sonnabend
Browse files

Merge branch 'master' of git.fsmpi.rwth-aachen.de:infra/ansible-shared/webservices

parents 2ad00718 f92ca394
No related branches found
No related tags found
No related merge requests found
......@@ -114,6 +114,7 @@ PARSER_LAZY = False
FUZZY_MIN_SCORE = 90
{#
FONTS = {
"main": {
"extension": ".otf",
......@@ -148,8 +149,8 @@ FONTS = {
"bolditalic": "NimbusMonoPS-BoldItalic"
}
}
#}
{#
FONTS = {
"main": {
"extension": ".pfb",
......@@ -184,7 +185,6 @@ FONTS = {
"bolditalic": "n022024l"
}
}
#}
DOCUMENTS_PATH = "documents"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment