Misc. rewrites:
authorKim Nguyễn <kn@lri.fr>
Wed, 18 Apr 2012 11:43:32 +0000 (13:43 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 18 Apr 2012 11:43:32 +0000 (13:43 +0200)
      - cosmetic changes tab -> whitespaces
      - more logging


No differences found