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

about summary refs log tree commit diff stats

path: root/.gitignore

blob: 0880f222bade4ebb910930c4ee3ca213e84a5e61 (plain) (blame)

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