Nikita Popov e50c67b7a9 Add basic support for tab indentation
Add a new "indent" option for the pretty printer, which can be
use to control the indentation width, or switch it to use tabs.

Tab width is currenlty hardcoded to 4, but also shouldn't matter
much.

Possibly the formatting-preserving printer should auto-detect
the indentation in the future.
2024-09-21 20:58:10 +02:00
..
2023-08-16 21:37:02 +02:00
2023-09-17 18:24:05 +02:00
2023-08-16 21:37:02 +02:00