comparison tests/utest.urp @ 37:e31baf0f275e

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