diff .gitignore @ 5:a5cc18a3db47

Updates documentation link, bumps version number
author Jesse Hallett <jesse@galois.com>
date Fri, 06 Mar 2015 14:01:36 -0800
parents b195a14058bb
children 27730595f1ea
line wrap: on
line diff