Denis Vlasenko 8d42f86b14 Correcting branch name to be like previous ones il y a 18 ans
..
Makefile 8d42f86b14 Correcting branch name to be like previous ones il y a 18 ans
docproc.c 8d42f86b14 Correcting branch name to be like previous ones il y a 18 ans
fixdep.c 8d42f86b14 Correcting branch name to be like previous ones il y a 18 ans
split-include.c 8d42f86b14 Correcting branch name to be like previous ones il y a 18 ans