remove unused opt
authorDan Vanderkam <danvdk@gmail.com>
Wed, 23 Jan 2013 21:49:02 +0000 (16:49 -0500)
committerDan Vanderkam <danvdk@gmail.com>
Wed, 23 Jan 2013 21:49:02 +0000 (16:49 -0500)
commite57d1c1160ec54d4a9a14ce88d3aec33262e50e4
tree20d1ec9c56992be6f2b830264a583839cc0aa1fb
parent384bfa4a1e76d45904399c6bf17d242b49e1fbd1
remove unused opt
lint.sh