change .gitignore for IDEA
change .gitignore for IDEA again
mend
persistent splay-tree