docs/users_guide/separate_compilation.rst · 0e1b6f85c69834e907ebcb9fcb5c94e6a2fb3287 · gershomb / GHC · GitLab

Aug 14, 2017
0e1b6f85
Fix index entries in "separate compilation" section · 0e1b6f85
Chris Martin authored Aug 14, 2017 and Ben Gamari committed Aug 17, 2017
```
This appears to have been a mistake from the translation of the manual into RST
format by 4fd6207e.
```
0e1b6f85
Fix index entries in "separate compilation" section
Chris Martin authored Aug 14, 2017 and Ben Gamari committed Aug 17, 2017
```
This appears to have been a mistake from the translation of the manual into RST
format by 4fd6207e.
```