diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -1,5 +1,6 @@ | |||
| 1 | bin/ | 1 | bin/ |
| 2 | xtend-gen/ | 2 | xtend-gen/ |
| 3 | xtext-gen/ | ||
| 3 | .gradle/ | 4 | .gradle/ |
| 4 | build/ | 5 | build/ |
| 5 | *._trace | 6 | *._trace |
 |
index : refinery | |
| Mirror of https://github.com/graphs4value/refinery | Graphs4Value |
| aboutsummaryrefslogtreecommitdiffstats |
path: root/.gitignore