diff options
| author | jao <jao@gnu.org> | 2022-09-26 04:27:29 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-09-26 20:43:07 +0100 |
| commit | 36a04a325b0daefba223c136358c9f8f89b1651a (patch) | |
| tree | 345a2cb2e352569d66e9b6a48f0a30dc655622a6 /lib/eos | |
| parent | 17da32ca08ca2141c5b20e1c19aaf62b7d831387 (diff) | |
| download | elibs-36a04a325b0daefba223c136358c9f8f89b1651a.tar.gz elibs-36a04a325b0daefba223c136358c9f8f89b1651a.tar.bz2 | |
doc-view: better access to current page's text
Diffstat (limited to 'lib/eos')
0 files changed, 0 insertions, 0 deletions