remove deprecated options

This commit is contained in:
James Kasten
2015-01-16 03:25:20 -08:00
parent a0969b1f29
commit dfae3f6d9e
-6
View File
@@ -21,12 +21,6 @@ persistent=yes
# usually to register additional checkers.
load-plugins=
# DEPRECATED
include-ids=no
# DEPRECATED
symbols=no
[MESSAGES CONTROL]