You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am running MacOS on a case-insensitive system. When I checkout this project it merges two files into one (ignoring one of them):
[alcides@AlcidesMBP JAeon ]$ git clone https://github.com/SymbolicPathFinder/jpf-symbc.git
Cloning into 'jpf-symbc'...
remote: Enumerating objects: 1731, done.
remote: Total 1731 (delta 0), reused 0 (delta 0), pack-reused 1731
Receiving objects: 100% (1731/1731), 56.03 MiB | 5.37 MiB/s, done.
Resolving deltas: 100% (895/895), done.
Updating files: 100% (1044/1044), done.
warning: the following paths have collided (e.g. case-sensitive paths
on a case-insensitive filesystem) and only one from the same
colliding group is in the working tree:
'doc/SymExe.PNG'
'doc/SymExe.png'
The text was updated successfully, but these errors were encountered:
I am running MacOS on a case-insensitive system. When I checkout this project it merges two files into one (ignoring one of them):
The text was updated successfully, but these errors were encountered: