Closed GoogleCodeExporter closed 9 years ago
Thanks, fixed.
Unfortunately, I also forgot to update the manual with new information for the
release prior to distributing it. The version linked from our website is now
up-to-date, though, and I may do a 0.7.1 release containing a new manual and
whatever else pops up in the next week or two.
Original comment by mind...@gmail.com
on 12 Sep 2012 at 11:17
Original comment by mind...@gmail.com
on 12 Sep 2012 at 11:18
Original issue reported on code.google.com by
wbr...@gmail.com
on 12 Sep 2012 at 2:01