On 2020-03-15 20:31, Pádraig Brady wrote: > On 15/03/2020 10:58, Bernhard Voelker wrote: >> * doc/.gitignore (/coreutils.t2p/): Add entry for the build directory >> left behind after 'make pdf'. >> While at it, sort the file. > > thanks!
thanks, pushed. Have a nice day, Berny
