docs: Fix ghc_config.py.in
authorBen Gamari <ben@smart-cactus.org>
Sat, 3 Oct 2015 08:30:20 +0000 (10:30 +0200)
committerBen Gamari <ben@smart-cactus.org>
Sat, 3 Oct 2015 08:30:39 +0000 (10:30 +0200)
commit93e21b96f94556dc3f0bcee7615cb7f31444bd99
treec0ca3217d73d18fb389203012f0db774624fbc14
parent4fd6207ec6960c429e6a1bcbe0282f625010f52a
docs: Fix ghc_config.py.in
docs/users_guide/ghc_config.py.in