Closed Borisdoux closed 5 years ago
remove Makefile from git's index, now Makefile should be ignore thanks to the .gitignore change
remove Makefile from git's index, now Makefile should be ignore thanks to the .gitignore change