Fix info about default setting.

This commit is contained in:
Michael Teeuw 2016-10-04 16:27:06 +02:00 committed by GitHub
parent 7dab00be87
commit d5d22844ab