66dd7b5 Delete redundant info.

Authored and Committed by lruzicka 3 years ago
1 file changed. 1 lines added. 7 lines removed.
    Delete redundant info.
    
        
file modified
+1 -7