diff options
| author | Griffin Smith <grfn@gws.fyi> | 2022-01-29T18·01-0500 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2022-01-29T18·04+0000 |
| commit | 1c177601da573a5ec7f8ca24491898fd3c41da65 (patch) | |
| tree | c587dc793cfe20cc8fb8bfe3f2bceb7ee6fb05b4 /tvix/docs | |
| parent | ec3263fef0cb59990b3ce09ec7a82dfd54cef04e (diff) | |
chore(grfn/bbbg): Drop headers down a level r/3710
More pandoc org->markdown conversion artifacts - apparently headers are lossy, and pandoc doesn't know to convert the `#+TITLE:` to a top-level header if present. Change-Id: Iab3df6951530e7529986e0b891dc9e533305f644 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5120 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/docs')
0 files changed, 0 insertions, 0 deletions