config: Fix braino in comment.
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 17 Apr 2017 13:16:51 +0000 (15:16 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 17 Apr 2017 13:16:51 +0000 (15:16 +0200)
commit97803e0d2487ed9553a508257ce78145e60a409a
treeaf48052532f5f20d4925c9696e8cfb27c0812c05
parentdf2db59159bb1f2b5ca2bed64962913e5774cbf6
config: Fix braino in comment.

This was wrong since forever.
config