fixed version number

This commit is contained in:
Robby Findler 2010-07-19 12:53:53 -05:00
parent 207114e7e9
commit df738b8563

View File

@ -1,5 +1,5 @@
------------------------------
Version 5.1
Version 5.0.1
------------------------------
. Check Syntax now reports obligation information