57a9874588
It's only used in my user directory and I don't feel it's generally useful. There's so little to interpolate you may as well just check them in. Change-Id: I31dc9917c2b281c7d68388e1a32c8ef5179621df Reviewed-on: https://cl.tvl.fyi/c/depot/+/12873 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI |
||
|---|---|---|
| .. | ||
| build | ||
| char | ||
| float | ||
| flow | ||
| fun | ||
| html | ||
| int | ||
| list | ||
| misc | ||
| num | ||
| string | ||
| url | ||
| utf8 | ||