Docs: more info on taint
authorJeremy Harris <jgh146exb@wizmail.org>
Fri, 5 Jun 2020 09:37:57 +0000 (10:37 +0100)
committerJeremy Harris <jgh146exb@wizmail.org>
Fri, 5 Jun 2020 09:37:57 +0000 (10:37 +0100)
commit46fa6b8a21e141c73c95300537d7e71d545d6e25
tree5c9c34722fbbc05465f1bab83ad9f00045e8d44b
parent0e0e1716286028c369f93a28412839c657e6b47c
Docs: more info on taint
doc/doc-docbook/spec.xfpt
src/src/verify.c