Build Manual with Bazel#439
Merged
regisd merged 23 commits intojflex-de:master from regisd:bazel-pandocOct 13, 2018
+228-8
Commits
Commits on Oct 10, 2018
Commits on Oct 12, 2018
- committed
- committed
- committed
- committed
- committed
Latest version of pandoc uses \tightlist defined in template https://github.com/jgm/pandoc-templates/blob/master/default.latex
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed