be5invis 23189aebf8 Fix typo		2022-02-23 23:17:09 -08:00
..
ligation-set.toml	Initial ligation support for Dafny (#1271)	2022-01-04 20:12:19 -08:00
parameters.toml	Add metric override for archDepth and smallArchDepth (#1313).	2022-02-21 20:24:38 -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	Fix typo	2022-02-23 23:17:09 -08:00