-
Martin Rudalics authored
removing duplicate entries under same heading. Don't skip char matching anything but a space or tab at bol. (Bug#864)
3bfd723a
removing duplicate entries under same heading. Don't skip char matching anything but a space or tab at bol. (Bug#864)