-
Lukas Riedel authored
* Add function 'is_none' for checking if user input is 'none' * Move functions 'to_lower' and 'get_grid_extensions' to new header
ad392890
* Add function 'is_none' for checking if user input is 'none' * Move functions 'to_lower' and 'get_grid_extensions' to new header