.gitignore - weight-balanced-trees - Purely functional weight-balanced trees

about summary refs log tree commit diff stats

path: root/.gitignore

blob: 0ca72a66cefc0d0d0143999c197585025497d3f5 (plain) (blame)

*.build.sh
*.install.sh
*.import.scm
*.so
*.link
*.o
*.types