7cb77b6 Sanitize public header file <shell.h>

2 files Authored by kdudka 4 years ago, Committed by svashisht 4 years ago,
    Sanitize public header file <shell.h>
    
    Resolves: #1736676
    
        
file modified
+18 -27
file modified
+6 -2