be5invis 11f11c79a9 Minor metric adjustment		2022-02-21 20:18:47 -08:00
..
ligation-set.toml	Initial ligation support for Dafny (#1271)	2022-01-04 20:12:19 -08:00
parameters.toml	Add spacing grade quasi-proportional-extension-only.	2021-12-27 03:38:25 -08:00
shape-slope.toml	Add support for slope customization (#599, #1165).	2021-07-23 21:23:08 -07:00
shape-weight.toml	Rename smooth -> archDepth	2022-02-21 20:13:05 -08:00
shape-width.toml	Minor metric adjustment	2022-02-21 20:18:47 -08:00
variants.toml	Rename smooth -> archDepth	2022-02-21 20:13:05 -08:00