changeset 13177 | 4906d4990ffe |
parent 12983 | fbbf4f0db8f0 |
13176:9364f0b5ecae | 13177:4906d4990ffe |
---|---|
1 local record _M |
1 local record _M |
2 enum preset |
2 enum preset |
3 "debug" |
3 "debug" |
4 "oneline" |
4 "oneline" |
5 "compact" |
5 "compact" |
6 "pretty" |
|
6 end |
7 end |
7 type fallback = function (any, string) : string |
8 type fallback = function (any, string) : string |
8 record config |
9 record config |
9 preset : preset |
10 preset : preset |
10 fallback : fallback |
11 fallback : fallback |