Docs: index detaint methods
authorJeremy Harris <jgh146exb@wizmail.org>
Sat, 30 Apr 2022 18:11:45 +0000 (19:11 +0100)
committerJeremy Harris <jgh146exb@wizmail.org>
Sat, 30 Apr 2022 21:51:38 +0000 (22:51 +0100)
commit509a8839d50d1e688b794975378214cc201a9697
treea9aea90c9d74c4de37053cf856069bf3d8026326
parent9bed290e97e67e12c2f56ef06c8f920c0945e432
Docs: index detaint methods
doc/doc-docbook/spec.xfpt