Denis Vlasenko 8d42f86b14 Correcting branch name to be like previous ones il y a 18 ans
..
cat-prints-a-file 8d42f86b14 Correcting branch name to be like previous ones il y a 18 ans
cat-prints-a-file-and-standard-input 8d42f86b14 Correcting branch name to be like previous ones il y a 18 ans