diff options
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/.gitignore')
-rw-r--r-- | org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/.gitignore b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/.gitignore deleted file mode 100644 index 84c048a7..00000000 --- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/.gitignore +++ /dev/null | |||
@@ -1 +0,0 @@ | |||
1 | /build/ | ||