tree 089559d1db53fbbd94107f7d4ae2fe61bc7d1ac3
parent 35624561fd3de3769cf988c2a4eec9cd0cfb14e5
author Zack Williams <zdw@cs.arizona.edu> 1472748917 -0700
committer Zack Williams <zdw@cs.arizona.edu> 1472749047 -0700

added script and instructions for lint checking

Change-Id: I0a8f6058099637c3eacc6c77f8c9cefc60fe0915