diff options
Diffstat (limited to 'exporters/darcs/darcs-fast-import')
| -rwxr-xr-x | exporters/darcs/darcs-fast-import | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/exporters/darcs/darcs-fast-import b/exporters/darcs/darcs-fast-import index 576c889..fb6a7a2 100755 --- a/exporters/darcs/darcs-fast-import +++ b/exporters/darcs/darcs-fast-import @@ -109,7 +109,7 @@ class Handler: self.bug("darcs failed") def invoke_add(self, path): - self.invoke_darcs("add --boring %s" % path) + self.invoke_darcs("add --boring --case-ok %s" % path) def handle_mark(self): if self.line.startswith("mark :"): |