| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2013-07-28 | more ignores | Jacob | |
| 2013-07-28 | add gitignore | Jacob | |
 |
index : smt-semparse | |
| Mirror of https://github.com/pks/smt-semparse.git |
| summaryrefslogtreecommitdiff |
path: root/.gitignore
|
index : smt-semparse | |
| Mirror of https://github.com/pks/smt-semparse.git |
| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2013-07-28 | more ignores | Jacob | |
| 2013-07-28 | add gitignore | Jacob | |