380adf8b48
When using aux/getflags, it produces unnecessarily obscure names for the flags. This allows the caller of aux/getflags to support arbitrary names. |
||
---|---|---|
.. | ||
1 | ||
2 | ||
3 | ||
4 | ||
5 | ||
6 | ||
7 | ||
8 | ||
9 | ||
fonts | ||
index.html | ||
mkfile | ||
preface.html | ||
preface3.html | ||
preface4.html |