-
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:
Hauke Mehrtens <hauke@hauke-m.de> SVN-Revision: 47587
Hauke Mehrtens authoredI accidentally deactivated it. This should be set to active it in any case independently what was set in the user config. Signed-off-by:
Hauke Mehrtens <hauke@hauke-m.de> SVN-Revision: 47587