add .history/ to gitignore since I have the local history extension in codium
This commit is contained in:
.history/ to gitignore since I have the local history extension in codium