diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-06-15 12:42:55 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-06-15 12:42:55 +0200 |
commit | c31bac6af57af917b8f799d0c21eb6af34ee1f6e (patch) | |
tree | 5a9603a4ec016f1aa09c7da52510790680c790c3 /utilities/Witness_complex/witnesscomplex.md | |
parent | 02de1136cf9850803cb1e1ac1141f11b50be2992 (diff) | |
parent | 41482b4260b4aff3d6803e340d5c94fbefb9af67 (diff) |
Merge branch 'dfsg/latest' into debian/sid
Diffstat (limited to 'utilities/Witness_complex/witnesscomplex.md')
-rw-r--r-- | utilities/Witness_complex/witnesscomplex.md | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/utilities/Witness_complex/witnesscomplex.md b/utilities/Witness_complex/witnesscomplex.md index 2341759b..da453cce 100644 --- a/utilities/Witness_complex/witnesscomplex.md +++ b/utilities/Witness_complex/witnesscomplex.md @@ -1,6 +1,13 @@ -
-
-# Witness complex #
+---
+layout: page
+title: "Witness complex"
+meta_title: "Witness complex"
+teaser: ""
+permalink: /witnesscomplex/
+---
+{::comment}
+Leave the lines above as it is required by the web site generator 'Jekyll'
+{:/comment}
For more details about the witness complex, please read the [user manual of the package](/doc/latest/group__witness__complex.html).
|