.gitignore - inpla.git - A fork of Inpla, a multi-threaded parallel interpreter of interaction nets

about summary refs log tree commit diff

path: root/.gitignore

blob: 0793f52e2de0e7eb54f4ff1e7bed56c8978688ef (plain) (blame)

1 2	`comparison/Inpla/src/msort-800000-reuse.in~`