Remove ert-equal-including-properties from manual
authorBasil L. Contovounesios <basil@contovou.net>
Sat, 20 Apr 2024 14:01:49 +0000 (16:01 +0200)
committerBasil L. Contovounesios <basil@contovou.net>
Sat, 20 Apr 2024 14:01:49 +0000 (16:01 +0200)
commitc929532b4694a1c5d0f61ae77f4e8664706a36a1
tree4eba7fd10b4dc09ad10d237b575903bd4d808697
parente3aae5fd385bd5512f614d2273a2d6d8e95a7ce6
Remove ert-equal-including-properties from manual

* doc/misc/ert.texi (Useful Techniques): Mention only
equal-including-properties in place of the now obsolete
ert-equal-including-properties.
doc/misc/ert.texi