diff options
| author | Florian Klink <flokli@flokli.de> | 2024-06-26T08·06+0300 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2024-06-26T14·22+0000 |
| commit | 888028b67497c75146b18239b97669e84a6b5315 (patch) | |
| tree | 54164c81004aa8c4c6fe57908633cc9d2a27e1f2 /tvix/glue | |
| parent | 50150fa3c8518d5b55dc6ccdeb365fb5f1e34ae0 (diff) | |
docs(tvix): use `#` for toplevel headings r/8312
See discussion in cl/11869. Let's use `#` consistently, we also use `##` for deeper nested subheadings. Change-Id: Ie25ebda708639fb617d456c275ae5a264fc4ce85 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11881 Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de> Reviewed-by: toastal <toastal@posteo.net>
Diffstat (limited to 'tvix/glue')
0 files changed, 0 insertions, 0 deletions