Daenyth/Cockatrice — pull request #86 by VanNostrand (2014-06-15 08:48:18+00:00)
Title: Usermanual update

I made some small updates in the usermanual, including the changes from #53 which weren't compiled in so far.