# Disable exclusion of files from .gitignore for vscode search (cf. https://stackoverflow.com/a/72059075 ) # External libs !/projects