diff options
| author | tv <tv@krebsco.de> | 2017-04-27 19:43:12 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2017-04-27 19:43:12 +0200 |
| commit | f374b704b0e6a9900633af58e5e6def644a916a5 (patch) | |
| tree | 7e7d0659e53e9fb5f30c6c90ea4733169a3738e6 /makefu/2configs/tools | |
| parent | 5cee2f8c89c537cbba0f1a53e3a21aa9836ba13b (diff) | |
types.user.mail: str -> nullOr str
Diffstat (limited to 'makefu/2configs/tools')
0 files changed, 0 insertions, 0 deletions