f36d0d Remove tar.gz mistakenly pushed

Authored and Committed by areguera 4 years ago
    Remove tar.gz mistakenly pushed
    
    - Add an entry in .gitignore to prevent this from happening in the
      future. I am sorry for the mistake.
    
        
file modified
+1 -0