2 Commits

Author	SHA1	Message	Date
Thomas Gerbet	3f257bf5a4	Add the pageref element ... This instruction is useful if you want to get the number of the page containing a specific bookmark.	2021-08-03 21:17:32 +02:00
fmuscolino	9c89c1ab59	Update docs	2019-04-12 13:46:05 +02:00