Denis Vlasenko 8d42f86b14 Correcting branch name to be like previous ones 18 lat temu
..
Makefile 8d42f86b14 Correcting branch name to be like previous ones 18 lat temu
docproc.c 8d42f86b14 Correcting branch name to be like previous ones 18 lat temu
fixdep.c 8d42f86b14 Correcting branch name to be like previous ones 18 lat temu
split-include.c 8d42f86b14 Correcting branch name to be like previous ones 18 lat temu