docs/users_guide/flags.py · a43a5650f51fdc04d757abc3d86b0a23ec518259 · Alex Gu / GHC · GitLab

Nov 06, 2019
a3ce52fd
users_guide: Set flags list file encoding · a3ce52fd
Ben Gamari authored Nov 06, 2019 and Marge Bot committed Nov 07, 2019
```
Otherwise this fails on Windows.
```
a3ce52fd
users_guide: Set flags list file encoding
Ben Gamari authored Nov 06, 2019 and Marge Bot committed Nov 07, 2019
```
Otherwise this fails on Windows.
```