"xfswi...@163.com" writes:
> Hi,
> I met a issue when using git.
> I cannot delete the file by the commond 'git rm'.
> The file name is a little diff from common file.
> I accidentally named the file "filename\r", display such as filename^M. Then
> I commit the file by 'git add .'.
> After I f
Hi,
I met a issue when using git.
I cannot delete the file by the commond 'git rm'.
The file name is a little diff from common file.
I accidentally named the file "filename\r", display such as filename^M. Then I
commit the file by 'git add .'.
After I find this mistake, I remove the file, then t
Le 2015-12-17 13:29, Stefan Beller a écrit :
On Thu, Dec 17, 2015 at 7:45 AM, PFDuc
wrote:
Hello,
first of all thank you for developping git !
I had an issue with a capital block in the folder name inside my git repo.
The folder in my local was named "Display" and the one at origin was named
On Thu, Dec 17, 2015 at 7:45 AM, PFDuc
wrote:
> Hello,
>
> first of all thank you for developping git !
>
> I had an issue with a capital block in the folder name inside my git repo.
> The folder in my local was named "Display" and the one at origin was named
> "display" resulting in error when im
Hello,
first of all thank you for developping git !
I had an issue with a capital block in the folder name inside my git
repo. The folder in my local was named "Display" and the one at origin
was named "display" resulting in error when importing python code from
this folder for users who got
5 matches
Mail list logo
