From 7297a6d4626445148536969450bfb9e33b282e28 Mon Sep 17 00:00:00 2001
From: James Kasten <jdkasten@umich.edu>
Date: Sun, 14 Dec 2014 02:47:18 -0800
Subject: [PATCH] Remove deprecated options

---
 .pylintrc | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/.pylintrc b/.pylintrc
index d591fc0a2..d8096c19a 100644
--- a/.pylintrc
+++ b/.pylintrc
@@ -21,12 +21,6 @@ persistent=yes
 # usually to register additional checkers.
 load-plugins=
 
-# DEPRECATED
-include-ids=no
-
-# DEPRECATED
-symbols=no
-
 # Use multiple processes to speed up Pylint.
 jobs=1