Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
sarah.grebing
ProofScriptParser
Commits
72f657b2
Commit
72f657b2
authored
May 28, 2018
by
Sarah Grebing
Browse files
added privacy link
parent
c73bf4f5
Pipeline
#22166
passed with stages
in 5 minutes and 50 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
website/kit_theme/main.html
View file @
72f657b2
...
...
@@ -843,7 +843,7 @@
<hr/>
<footer>
{{build_date_utc}}
—
<a
href=
"http://formal.iti.kit.edu/~grebing"
>
Sarah Grebing
</a>
{{build_date_utc}}
—
<a
href=
"http://formal.iti.kit.edu/~grebing"
>
Sarah Grebing
</a>
—
<a
href=
"http://www.kit.edu/datenschutz.php"
>
Data Privacy
</a>
</footer>
<!--
MkDocs version : {{ mkdocs_version }}
...
...
website/mkdocs.yml
View file @
72f657b2
...
...
@@ -3,7 +3,7 @@ site_url: https://formal.iti.kit.edu/psdbg
#weigl/verifaps/
#repo_url: https://github.com/example/repository/
site_description
:
site_author
:
Alexander Weigl <weigl@kit.edu>
site_author
:
Sarah Grebing <sarah.grebing@kit.edu>,
Alexander Weigl <weigl@kit.edu>
theme_dir
:
kit_theme
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment