Authored by Jan Stolarek <jan.stolarek@p.lodz.pl>.

Description

Detabify

I missed that file yesterday when I was cleaning up codeGen/ directory.

Details

Committed
Jan Stolarek <jan.stolarek@p.lodz.pl>Aug 21 2013, 3:23 AM
Parents
rGHC82bbc3864ff6: Added paragraph to user's guide about Nominal role for Set
Branches
Unknown
Tags
Unknown