comparison tests/utest.urs @ 37:e31baf0f275e

Small formatting cleanups
author Adam Chlipala <adam@chlipala.net>
date Sat, 23 Apr 2011 09:53:55 -0400
parents 5e03668972ea
children
comparison
equal deleted inserted replaced
36:df258dbf4739 37:e31baf0f275e