Pay attention to dont-add-to-list checkbox again
authorH.G.Muller <hgm@hgm-xboard.(none)>
Thu, 2 Nov 2017 11:14:13 +0000 (12:14 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Thu, 2 Nov 2017 11:14:13 +0000 (12:14 +0100)
commit5d34e50444d0107bfe7d10ea2a38b003d130df24
treea62ef36151e05845387fadab2630c001561cd2ea
parent4176af9f411840bc9806909dcd04f359a72d8629
Pay attention to dont-add-to-list checkbox again

Although it is questionable whether this checkbox will remain in the log
run, as long as it is there we better obey it.
backend.c