Skip to content
Snippets Groups Projects
user avatar
Hauke Mehrtens authored
I accidentally deactivated it. This should be set to active it in any case
independently what was set in the user config.

Signed-off-by: default avatarHauke Mehrtens <hauke@hauke-m.de>

SVN-Revision: 47587
cacf2bb3
History