diff options
| author | Vince Mutolo | 2022-08-12 00:00:03 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-12 00:00:03 +0000 |
| commit | 7559b77d531ce12a890288ee04a45b5d3bc0c88a (patch) | |
| tree | a94b21716f4538beda290adca53f923d6b0cc569 /book/theme | |
| parent | 80dde577b0287410cc5a7af79e6737425f95abff (diff) | |
highlight closure pipes as brackets (#3397)
Co-authored-by: Vince Mutolo <vince@mutolo.org>
Diffstat (limited to 'book/theme')
0 files changed, 0 insertions, 0 deletions