Files
pintos_22/.gitignore
Dias Alberto, Ethan ed11c61f87 Merge branch 'master' into 'BSD-merged', fixing merge conflicts
# Conflicts:
#   src/threads/thread.c
2024-10-23 16:30:24 +00:00

36 lines
420 B
Plaintext

#ignore temp files
*~
#ignore pdf files (just keep source files)
*.pdf
#ignore Mac OS generated files
.DS_Store
#ignore code editor generated directories
.idea
.vscode
#ignore junk files from latex output
*.out
*.log
*.aux
*.dvi
*.ps
*minted*
#ignore junk files from compiling C code
*.o
#ignore other junk files
*.backup
*.kate-swp
*.swp
*.snm
*.vrb
*.nav
*.toc
#ignore files from CLion/VSCode IDEs
.idea
.vscode