diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-07-20 10:27:38 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-07-20 10:27:38 +0200 |
| commit | 0e4f6dfcf7303bfe3c5d8af6863d57b3e70d370a (patch) | |
| tree | 5288f1914634b9ee165d1ee728474151e7bc7fe9 /tests/timeout.sh | |
| parent | 453c4be93cb10b417a7140d9f8b7185f9785b7a6 (diff) | |
revert anchor prefix for builtin constants
the original change broke many pre-existing anchor links.
also change formatting of the constants listing slightly:
- the type should not be part of the anchor
- add highlight to the "impure only" note
Diffstat (limited to 'tests/timeout.sh')
0 files changed, 0 insertions, 0 deletions