4bff11d Drop unused file from git.

Authored and Committed by tmraz 5 years ago
    Drop unused file from git.
    
        
file removed
-2