Vincent Riquer ec727e92eb fix config filenames in doc

2012-02-27 13:23:56 +01:00

..

config

fix config filenames in doc

2012-02-27 13:23:56 +01:00