diff options
| author | Ömer Sinan Ağacan <omeragacan@gmail.com> | 2020-02-16 10:37:34 +0300 |
|---|---|---|
| committer | Ömer Sinan Ağacan <omeragacan@gmail.com> | 2020-02-16 10:38:41 +0300 |
| commit | 9e851472e59950c9d7ada3224a5bf317c0a9dc1a (patch) | |
| tree | 7bdd5dd72024e93d845b0b3035c91d23b016650e /docs/users_guide/utils.py | |
| parent | 785008c1235bd77ddb4d13f57f92b249752d8ea5 (diff) | |
| download | haskell-9e851472e59950c9d7ada3224a5bf317c0a9dc1a.tar.gz | |
Revert "users-guide: Document -ddump-srts"
This reverts commit 8cf646d36b02b8ea1c289cb52781c9171853b514.
The flag was removed by 16d643cf.
[ci skip]
Diffstat (limited to 'docs/users_guide/utils.py')
0 files changed, 0 insertions, 0 deletions