diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-08-10T09·34+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-08-10T09·34+0200 |
| commit | f72c907ad833fa26800ad1694e63f3cec952b444 (patch) | |
| tree | 9214fe93db13ba5ae912a88a7bfa2417420b96ad /config | |
| parent | ada4e902672e4d82f47fa260adcc450d9a85d41f (diff) | |
Slightly questionable workaround for #2342
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions