diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-09-03 11:21:50 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-09-03 11:21:50 +0200 |
| commit | 2a7b05f12a48798d7d931949803d5647aead9834 (patch) | |
| tree | f711881342529b76e0d02343225ba771d2c585db /docs | |
| parent | 8ae130ab293b0ede4a442d1bbd2f0e95f8cd1f94 (diff) | |
| download | schemafuzz-2a7b05f12a48798d7d931949803d5647aead9834.tar.gz schemafuzz-2a7b05f12a48798d7d931949803d5647aead9834.tar.bz2 schemafuzz-2a7b05f12a48798d7d931949803d5647aead9834.zip | |
fix ragged right
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Documentation.pdf | bin | 1019868 -> 1001428 bytes | |||
| -rw-r--r-- | docs/Documentation.tex | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/docs/Documentation.pdf b/docs/Documentation.pdf Binary files differindex 8c81388..52124b9 100644 --- a/docs/Documentation.pdf +++ b/docs/Documentation.pdf diff --git a/docs/Documentation.tex b/docs/Documentation.tex index d5c4610..1b06161 100644 --- a/docs/Documentation.tex +++ b/docs/Documentation.tex @@ -47,7 +47,7 @@ \maketitle \vspace*{\fill} -\raggedright{\underline{Supervisor}: Christian Grothoff} \\ +\underline{Supervisor}: Christian Grothoff} \\ \underline{Promotion}: 2017-2018 \clearpage |