From: drl7x <drl7x>
Date: Mon, 21 Apr 2003 20:20:27 +0000 (+0000)
Subject: Doing the commit so that files can be taged.
X-Git-Tag: splint-3_1_0
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/a193690925d356f36267797637c7bc847ab9b8b0?hp=a193690925d356f36267797637c7bc847ab9b8b0

Doing the commit so that files can be taged.

Changed 3.0.1.7 to 3.1.0 in the installation instructions.
---