diff options
| author | jao <jao@gnu.org> | 2022-07-31 23:23:11 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-07-31 23:23:11 +0100 |
| commit | 2a35dd02d97b72a9c6e12bbb2a5540d2ce9a3e5f (patch) | |
| tree | f46e302f70e4e7e55eabed8692043cf17340f6d6 /lib/media | |
| parent | f8e9b2e6099dd569e971b32c3a733ea8e5e0952d (diff) | |
| download | elibs-2a35dd02d97b72a9c6e12bbb2a5540d2ce9a3e5f.tar.gz elibs-2a35dd02d97b72a9c6e12bbb2a5540d2ce9a3e5f.tar.bz2 | |
doc-view: better regexp for parsing TOCs
Diffstat (limited to 'lib/media')
0 files changed, 0 insertions, 0 deletions