From dfae3f6d9e33d7c671e9fcb0afe2ca3e78dd34dd Mon Sep 17 00:00:00 2001
From: James Kasten <jdkasten@umich.edu>
Date: Fri, 16 Jan 2015 03:25:20 -0800
Subject: [PATCH] remove deprecated options

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

diff --git a/.pylintrc b/.pylintrc
index 6de90f2f8..41a75ffac 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
-
 
 [MESSAGES CONTROL]